Plugin

ada-spark

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 contracts, CodePeer)

Installation

Add the marketplace

/plugin marketplace add agent-sh/agentsys

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

Repository & Links

Plugin Source

View Plugin Code

GitHub Repository

agent-sh/agentsys

Details & Metadata

From Marketplace

agentsys

Primary

View Marketplace

Author

@agent-sh

View GitHub Profile