zyx77550/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.

2 best points · 0 comments · 1 Hacker News post · 9 GitHub stars · View on GitHub

Hacker News discussions

• Sparda – Turn any Express/FastAPI app into an MCP server in 3 minutes (2 points, 0 comments, by residual-labs, 2026-06-16)