Adacore Skills
- 19 repo stars
- Updated July 20, 2026
- AdaCore/skills
adacore-skills is an AdaCore agent skill marketplace that documents Ada and SPARK CLI tool usage so coding agents can run GNATprove, Alire, GNATtest, and GNATfuzz reliably.
About
adacore-skills is an AdaCore plugin marketplace that packages agent skills teaching Claude and other agents how to use Ada and SPARK development toolchains through their command-line interfaces. It covers package management, formal proof, unit testing, and fuzzing for safety-critical and systems code. Install it when you work in Ada or SPARK and want the agent to invoke GNATprove, Alire, GNATtest, or GNATfuzz correctly instead of guessing toolchain steps.
- Official AdaCore agent skills for Ada and SPARK development tools
- Skills for alire, gnatprove, gnattest, and gnatfuzz
- CLI-first guidance instead of MCP-wrapped toolchains
- Installable via plugin marketplace or manual skill copy
- Slash commands such as /gnatprove for SPARK proof tasks
Adacore Skills by the numbers
- Data as of Jul 25, 2026 (Skillselion catalog sync)
/plugin marketplace add AdaCore/skillsAdd your badge
Show developers this marketplace is listed on Skillselion. Paste this into your README.
| repo stars | ★ 19 |
|---|---|
| Last updated | July 20, 2026 |
| Repository | AdaCore/skills ↗ |
How can an AI agent correctly discover and invoke AdaCore Ada and SPARK toolchain commands without brittle MCP environment wrapping?
Give coding agents guided instructions for AdaCore Ada and SPARK CLI toolchains like GNATprove, Alire, GNATtest, and GNATfuzz.
Who is it for?
Developers building or verifying Ada, SPARK, or safety-critical systems who want agent-guided toolchain workflows.
Skip if: Teams working only in mainstream web stacks with no Ada, SPARK, or AdaCore tooling installed.
What you get
The agent loads toolchain-specific instructions and executes the appropriate AdaCore CLI commands for your task.
Plugins in this marketplace
1 plugin - install individually after you add the marketplace.
Recommended Marketplaces
FAQ
Why skills instead of MCP for AdaCore tools?
The README explains AdaCore toolchains already expose feature-complete CLIs, so skills pass environment setup and direct command instructions to the agent.
Which skills are included?
The repository lists alire, gnatprove, gnattest, and gnatfuzz under plugins/adacore/skills.
How do I invoke a skill in chat?
Use the skill slash command in your prompt, for example /gnatprove when asking the agent to help prove SPARK code.