Skip to content

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

12 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

No description, website, or topics provided.

Resources

Stars

1 star

Watchers

0 watching

Forks

Releases

Packages

Contributors