AdaCore

5 mods in 1 plugin, 1 repository, 25 stars between them.

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

adacore

Plugin Claude Code

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