Stats
Links
Categories
Marketplace
ada-spark
Skill that teaches coding agents to write idiomatic, correct, current Ada and SPARK. Rides the latest toolchain (Alire + GNAT FSF, Ada 2022) and prevents stale pre-2022 assumptions.
$
npx claudepluginhub agent-sh/ada-spark1 Plugin
ada-spark
0·
Teach coding agents to write idiomatic, correct, current Ada and SPARK. Rides the latest toolchain (Alire + GNAT FSF, Ada 2022) and prevents stale pre-2022 assumptions (GNAT Community, pragma contracts, CodePeer).
4w
agent-sh