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编写。SPARDA验证。一个确定性的离线关卡，当AI编辑移除防护、暴露路由或破坏不变量时捕捉问题——无需API密钥，直接集成在代理编辑循环中。
How to install
git clone https://github.com/zyx77550/sparda ~/.claude/skills/sparda npx -y sparda-mcp About
SPARDA 🇫🇷 **Français** — _L'IA écrit. SPARDA prouve._ Un gate déterministe et hors-ligne qui détecte quand une modif d'IA retire une garde, expose une route ou casse un invariant — sans clé API, directement dans la boucle d'édition de l'agent. Pour tout comprendre en 10 minutes (douleur, architecture, vision) : SPARDA-EXPLIQUE.md. --- **The trust layer for AI-written backends.** SPARDA compiles your backend — routes, database queries, state mutations, guards, side-effects — into one deterministic behavior graph, then **statically proves what can and can't break before you ship**: no unguarde…
Recommendation signals
Meta
- License
- NOASSERTION
- Language
- JavaScript
- GitHub stars
- 8
- mo. downloads
- 1.7K
- Last push
- 2026-09-16
- Created
- 2026-06-15
Basic safety check
- Findings
- None
- Sources
- curated:hesreallyhim/awesome-claude-code, curated:punkpeye/awesome-mcp-servers
- Topics
- ai-agents, ai-code-review, authorization, bola, claude-code, guardrails, mcp, security, static-analysis, trust-layer
Related plugins
mobile-mcp
mobile-next/mobile-mcp
Model Context Protocol Server for Mobile Automation and Scraping (iOS, Android, Emulators, Simulators and Real Devices)
davinci-resolve-mcp
samuelgursky/davinci-resolve-mcp
MCP server integration for DaVinci Resolve Studio
ssh-mcp
tufantunc/ssh-mcp
MCP server exposing SSH control for Linux servers via Model Context Protocol.