Plugin Claude Code
AdaCore agent skills for Ada and SPARK development tools.
23 27d ago A
tokens not measured
original Apache-2.0
23Stars on the repository
9Mods indexed here, across every type
27d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
adacore
02Plugin 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).
23 27d ago A
tokens not measured
original Apache-2.0