AdaCore/skills — Plugins

25Stars on the repository

8Mods indexed here, across every type

2mo agoLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

adacore

AdaCore/skills

Plugin Claude Code

Bundles 5 skills · 419 tokens together

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).

not rated 25 2mo ago A tokens not measured original Apache-2.0