Skip to content

Latest commit

 

History

History
25 lines (16 loc) · 1.28 KB

File metadata and controls

25 lines (16 loc) · 1.28 KB

SPARDA Skills

Official Claude Code / AI-agent skills for SPARDA (sparda-mcp) — The trust layer for AI-written backends.

SPARDA compiles your backend (Express, Next.js, FastAPI, NestJS, Medusa) into a Deterministic Behavior Graph (UBG), then statically proves what can and can't break before you ship. This plugin teaches AI agents how to drive the SPARDA prover (apocalypse, timeless, heal) and how to safely operate the local MCP Runtime.

Install as a Claude Code plugin

/plugin marketplace add zyx77550/sparda-skills
/plugin install sparda@residual-labs

That bundles both skills below, so Claude can compile/build a SPARDA graph from your app and drive it. The CLI itself ships on npm:

npx sparda-mcp apocalypse

Skills

  • SKILL.md — drive the SPARDA Prover and the generated MCP server. Teaches the AI to prove its edits, read the deployment proofs, and follow the 2-phase write protocol.
  • SKILL-BUILD.md — install SPARDA, compile a backend into a UBG graph, and expose it to the local agent.

The plugin auto-discovers these from skills/sparda/ and skills/sparda-build/; the root copies stay the canonical source for the Skills Directory listing.