claudecodex

ada-spark

Teach agents to write idiomatic, correct, current Ada and SPARK (Ada 2022) - contracts (aspects, Pre'Class), the Alire ecosystem, SPARK proof (AoRTE, assurance levels, ownership/borrow), embedded (Ravenscar/Jorvik), and GNAT/GNAT SAS tooling; blocks stale pre-2022 advice (GNAT Community, pragma contracts, CodePeer)

0 on GitHubby Avi Feneshv0.1.0MITupdated 1 month agodevelopment
/

Plugin ada-spark from marketplace agentsys in review-bench/agent-sh_agentsys. Commands read from the repo's manifest — 1 month ago.

What it installs

Skills (1)

  • ada-spark

    Use when writing, porting, reviewing, or proving Ada or SPARK - .ada/.adb/.ads/.gpr files, contracts (Pre/Post/Contract_Cases), Alire (alr) projects, SPARK proof (GNATprove, AoRTE, assurance levels, ownership/borrow), embedded (Ravenscar/Jorvik, light runtimes), and GNAT/GNAT SAS tooling. Targets th

View source on GitHub

More from review-bench/agent-sh_agentsys

All 26 plugins →

enhance

claude

Master enhancement orchestrator: parallel analyzer execution for plugins, agents, docs, CLAUDE.md, and prompts with unified reporting

9 skills · 1 command · 8 agents

0

perf

claude

Rigorous performance investigation workflow with baselines, profiling, hypotheses, and evidence-backed decisions

8 skills · 1 command · 6 agents

0

next-task

claude

Master workflow orchestrator: autonomous workflow with model optimization (opus/sonnet/haiku), two-file state management, workflow enforcement gates, 8 specialist agents

1 skill · 2 commands · 8 agents · hooks

0

Pre-ship quality gates: deslop, simplify, agnix, enhance, review loop, delivery validation, docs sync

4 skills · 1 command · 3 agents

0

ship

claude

Complete PR workflow: commit to production, skips review when called from next-task, removes task from registry on cleanup, automatic rollback

1 skill · 5 commands · 1 agent

0

skillers

claude

Learn from workflow patterns across sessions and suggest skills, hooks, and agents to automate repetitive work

2 skills · 1 command · 2 agents

0

Similar plugins

superpowers

claudecodex

Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques

15 skills · hooks

obra/superpowers 316,836

context7

claudecodex

Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.

1 MCP server

upstash/context7 64,709

Build powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.

5 commands

HKUDS/CLI-Anything 58,665

Automates browser interactions for web testing, form filling, screenshots, and data extraction

12 skills

vercel-labs/agent-browser 50,373

Use Alibaba Open Code Review from local Codex.

2 skills

alibaba/open-code-review 50,068

slidev

claude

Claude Code skill for creating and presenting Slidev slidedecks

1 skill

slidevjs/slidev 49,452

Maintain ada-spark?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins26 plugins