sparda
AI编写。SPARDA验证。一个确定性的离线关卡，当AI编辑移除防护、暴露路由或破坏不变量时捕捉问题——无需API密钥，直接集成在代理编辑循环中。
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.
怎么安装
git clone https://github.com/zyx77550/sparda ~/.claude/skills/sparda npx -y sparda-mcp 简介
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…
推荐参考
信息
- 协议
- NOASSERTION
- 语言
- JavaScript
- GitHub 星标
- 8
- 月下载
- 1.7K
- 最近更新
- 2026-09-16
- 创建于
- 2026-06-15
基础安全检查
- 检查结果
- 无
- 收录来源
- curated:hesreallyhim/awesome-claude-code, curated:punkpeye/awesome-mcp-servers
- 主题标签
- ai-agents, ai-code-review, authorization, bola, claude-code, guardrails, mcp, security, static-analysis, trust-layer