Sign in Sign up
npm

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
Version Released
0.73.0 minor
0.72.1 minor
0.71.5 patch
0.71.4 patch
0.71.3 patch
0.71.1 patch
0.71.0 minor
0.70.1 patch
0.70.0 minor
0.69.1 patch
0.69.0 minor
0.68.0 minor
0.67.0 minor
0.66.2 patch
0.66.1 patch
0.66.0 minor
0.64.0 minor
0.63.0 minor
0.62.0 minor
0.58.0 minor
0.32.0 minor
0.30.0 minor
0.26.0 minor
0.17.1 patch
0.17.0 minor
0.15.1 patch
0.15.0 minor
0.14.1 patch
0.14.0 minor
0.13.3 patch
0.13.2 patch
0.13.1 patch
0.13.0 minor
0.12.0 minor
0.10.1 minor
0.9.0 minor
0.8.1 patch
0.8.0 minor
0.7.1 patch
0.7.0 minor
0.6.0 minor
0.5.4 patch
0.5.3 patch
0.5.2 patch
0.5.1 patch
0.5.0 minor
0.4.0 minor
0.3.0 minor
0.1.0 initial