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'%20stop-opacity%3D'0.16'%2F%3E%3Cstop%20offset%3D'1'%20stop-color%3D'rgb(200%2C90%2C60)'%20stop-opacity%3D'0.03'%2F%3E%3C%2FlinearGradient%3E%3C%2Fdefs%3E%3Crect%20width%3D'320'%20height%3D'200'%20fill%3D'url(%23g)'%2F%3E%3Ccircle%20cx%3D'250'%20cy%3D'56'%20r%3D'92'%20fill%3D'rgb(200%2C90%2C60)'%20fill-opacity%3D'0.06'%2F%3E%3Ccircle%20cx%3D'64'%20cy%3D'172'%20r%3D'58'%20fill%3D'rgb(200%2C90%2C60)'%20fill-opacity%3D'0.05'%2F%3E%3C%2Fsvg%3E)