Plugin marketplace
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.
Add this marketplace
Then install any plugin below by name — each page has its exact command.
Write idiomatic, correct, current Ada and SPARK - contracts (aspects, Pre'Class), the Alire ecosystem, SPARK proof (AoRTE, assurance levels, ownership/borrow), embedded (Ravenscar/Jorvik, light runtimes), and GNAT/GNATprove/GNAT SAS tooling. Prevents stale pre-2022 assumptions.
1 skill
Shows how many plugins this repo ships, and links here.