{"name":"agent-sh-ada-spark","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"agent-sh-ada-spark","source":{"source":"github","repo":"agent-sh/ada-spark"},"description":"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).","version":"0.1.0","strict":true,"keywords":["ada","spark","gnat","alire","formal-verification","embedded","claude-code","codex","opencode"],"category":"development"}]}