Plugin

ada-spark

Published by AI Templates Community

Teach agents to write idiomatic, correct, current Ada and SPARK (Ada 2022) - contracts (aspects, Pre'Class), the Alire ecosystem, SPARK proof (AoRTE, assurance levels, ownership/borrow), embedded (Ravenscar/Jorvik), and GNAT/GNAT SAS tooling; blocks stale pre-2022 advice (GNAT Community, pragma cont

Open official page Repository

Plugin details

Resource Id
edb97adf-d135-48b3-9e4f-55a34a55c4ec
Provider
Claude Code
Included Apps
Included Skills
Requires Auth
false
Supported Surfaces
Claude Code
Created At
"2026-10-08T13:50:58.399Z"
Updated At
"2026-10-08T13:50:58.399Z"