Plugin marketplace

adacore-skills

AdaCore agent skills for Ada and SPARK development tools.

28 · AdaCore/skills1 pluginApache-2.0updated 10 days ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

adacore

claudecodex

AdaCore agent skills for Ada and SPARK development: Alire (package management), GNATprove (SPARK formal verification), GNATfuzz (coverage-guided fuzzing), GNATtest (unit testing), and GNATdoc (documentation generation).

5 skills

28

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted