sparda-mcp
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.
Activity
- Latest release
- 3d ago
- Total releases
- 49
- Cadence
- ~daily
- Last 12 months
- 49
Reach
- Stars
- 8
Details
- License
- BUSL-1.1
- First release
- Jun 11, 2026
Releases