agentmods.dev

zakariagharzouli/sparda

AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.

Open on GitHub
8Stars on the repository
3Mods indexed here, across every type
6d agoLast push, which is what freshness is scored on
customA LICENSE file GitHub cannot name, so bodies are not copied
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

sparda-mcp

01

zakariagharzouli/sparda

Skill Claude CodeCodex

Drive a SPARDA compiled Behavior Runtime to its full potential. Use this whenever you are connected to a backend running the SPARDA Runtime (compiled into a Unified Behavior Graph - UBG) — recognizable by the tools spardagetcontext, spardainfo, spardaconfirm, or composite tools. It teaches the graph-context-first…

not rated 8 changed 6d ago A 109 tokens