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.
ai-agentsai-code-reviewauthorizationbolaclaude-codeguardrailsmcpsecuritystatic-analysistrust-layer
安装
$
npx sparda-mcp apocalypse # prove the tree is safe to deploy — exit 1 on any real risk, or on an unverified premise