🧾 mcp-proof

Entrega un servidor MCP con su recibo.

Un solo comando audita cualquier servidor MCP — herramientas, recursos y prompts, de cualquier era de protocolo, stdio o Streamable HTTP — y entrega a tu cliente un informe de entrega con huella digital y reproducible, además de una suite de regresión para CI que se queda en su lado.

English · 简体中文

Una auditoría real del servidor oficial de filesystem de MCP: 25 comprobaciones de conformidad, tabla de cumplimiento MSSS, 34 fixtures de regresión — todo en verde.

✨ Qué obtienes

• 🔍 Comprobaciones de protocolo a nivel de cable en cada superficie y en ambas eras — mcp-proof habla JSON-RPC puro con tu servidor y detecta automáticamente su era: 30 comprobaciones para la era moderna 2026-07-28 (server/discover, aplicación del envoltorio _meta, resultType, ttlMs/cacheScope en cada resultado cacheable, rechazo de versión -32022, aplicación de cabeceras de enrutado HTTP) y 25 para la era del handshake de initialize — códigos de error exactos, validez de esquema, salida estructurada, higiene de stdout, seguridad de paginación, carriles dedicados de recursos y prompts, y sondas negativas verificadas: TOOL-07 envía entradas que violan de forma demostrable el inputSchema declarado y avisa cuando el servidor las responde con normalidad, citando el reproductor mínimo. Consciente de capacidades en ambas direcciones: las superficies que el servidor no anuncia se omiten; las que anuncia deben funcionar.

• 🛡️ Auditoría de seguridad vinculada a un estándar público — 6 comprobaciones deterministas (envenenamiento de descripciones de herramientas, caracteres invisibles/bidi, credenciales filtradas, superficies de inyección sin restricciones, ejecución de shell anunciada), cada una mapeada a IDs de control canónicos del Estándar de Seguridad de Servidores MCP de 24 controles, presentadas como tabla de cumplimiento completa en cada informe.

• 📼 Una suite de regresión que tu cliente conserva — graba en cualquier era de protocolo; los fixtures dorados con procedencia SHA-256 congelan el comportamiento del servidor; la reproducción clasifica cada desviación (BREAKING / VALUE / COSMETIC / LATENCY), entiende la salida estructurada, preserva el orden de llamadas con estado, e incluye un gate de GitHub Actions listo para pegar.

• 📄 Un informe para humanos y máquinas — HTML autocontenido con navegación fija, anclas por comprobación (report.html#SEC-03), filtros de atención/aprobadas y una matriz MSSS plegable; --pdf para imprimir. El mismo modelo versionado se entrega como --json (esquema v1), --junit para cualquier CI, y --sarif para la pestaña de Seguridad de GitHub.

• 🔁 Reproducible por diseño — cero llamadas a LLM, cero claves de API. Cada hash se calcula solo a partir del comportamiento — las marcas de tiempo y la latencia viven en una capa de observación separada y sin hash — de modo que un comportamiento idéntico del servidor produce un informe con huella idéntica y la aceptación es verificación, no confianza.

• 🧯 Planificación de llamadas con anotaciones primero — las anotaciones de herramientas MCP superan a la heurística de nombres en ambas direcciones: readOnlyHint rescata herramientas de solo lectura que la regex bloquearía de más, destructiveHint detecta mutadores que se le escaparían; las herramientas sin anotar recurren a la heurística conservadora. mcp-proof plan muestra exactamente qué llamaría el auto-baselining y con qué criterio, antes de que nada toque producción; --include-destructive y --edge-cases permiten optar por más.

• 📋 Un diff de contrato para CI — mcp-proof inspect congela la superficie servida (capacidades + herramientas + recursos + prompts, totalmente paginada) en un manifiesto con huella; mcp-proof diff clasifica cada cambio como BREAKING / ADDITIVE / METADATA y sale con código distinto de cero ante cambios rupturistas — endurecimiento de esquemas, estrechamiento de enums, cambios de obligatoriedad, campos de salida eliminados y anotaciones de seguridad debilitadas cuentan.

Related MCP server: MCProbe

🚀 Inicio rápido

pip install git+https://github.com/YuCPbit/mcp-proof
mcp-proof run python my_server.py --fixtures fixtures/ --out report.html

¿Auditar un servidor HTTP en ejecución? mcp-proof run --url http://localhost:8000/mcp --out report.html

El código de salida 0 significa: todas las comprobaciones MUST aprobadas, cero hallazgos de seguridad, cero desviaciones de comportamiento — un gate de CI de una línea.

mcp-proof plan python my_server.py                            # what would auto-baselining call, and why
mcp-proof record python my_server.py --fixtures fixtures/    # freeze the behavioural contract
mcp-proof replay --fixtures fixtures/ -- python my_server.py  # fail on any drift
mcp-proof inspect python my_server.py --out baseline.json     # freeze the contract surface
mcp-proof diff baseline.json current.json                     # BREAKING / ADDITIVE / METADATA, exit 1 on breaking

Mira la diferencia en 60 segundos con el par de demostración integrado — un servidor limpio y otro con nueve violaciones plantadas:

mcp-proof run python demo/good_server.py --fixtures demo/fixtures-good --out report-good.html   # → SHIP-READY
mcp-proof run python demo/bad_server.py --out report-bad.html                                    # → 5 MUST failures, 3 security findings

📊 Auditorías reales, informes reales

🔬 Los tres carriles

Cada carril alimenta un único informe — y el informe termina con una lista de correcciones priorizada, de modo que también sirve como plan de remediación.

📡 Soporte de protocolo

El carril moderno está validado contra el SDK v2 oficial en ambas direcciones: el cliente oficial adopta el servidor de pruebas moderno artesanal de mcp-proof vía server/discover, y mcp-proof ejecuta los tres carriles completamente en verde contra servidores del SDK v2 oficial en ambos transportes — stdio y Streamable HTTP con respuestas SSE (scripts/crosscheck_modern_server.py).

Funciona con servidores en cualquier lenguaje — mcp-proof habla con el proceso (o la URL), no con tu código.

⚙️ CI en un paso

- uses: YuCPbit/mcp-proof@v0.5.0
  with:
    server-command: python my_server.py
    fixtures: fixtures/

El job falla a menos que el servidor esté listo para producción, y deja mcp-proof-report.html / .json / .junit.xml / .sarif para subir. ¿Prefieres comandos crudos? mcp-proof run … --junit r.xml --sarif r.sarif más mcp-proof diff es el mismo gate.

🏗️ Construye sobre la plantilla auditada y limpia

¿Estás construyendo un servidor en lugar de auditar uno? templates/server-starter/ es un servidor fastmcp que pasa esta auditoría de serie — esquemas de entrada restringidos, semántica de errores correcta, salida estructurada, cada práctica anotada con el ID de comprobación que satisface. Copia, implementa tus herramientas, audita, entrega con el informe.

🖥️ Plataformas

🗺️ Hoja de ruta

🔍 Limitaciones

mcp-proof demuestra lo que se puede demostrar de forma determinista, y dice cuál es cuál:

• Los controles de seguridad cubren la superficie observable del protocolo y los metadatos. Los controles MSSS que requieren evidencia de implementación, fuente o proceso siempre se reportan como revisión manual — nunca como aprobados.

• El auto-baselining clasifica las herramientas mediante una heurística conservadora de nombre/descripción. Revisa la lista de exclusión en el manifiesto de fixtures antes de confiar en una línea base registrada contra producción.

• La corrección semántica (¿la respuesta significa lo correcto?) queda fuera del núcleo determinista por diseño.

📄 Licencia

MIT — la taxonomía en la sección de cumplimiento MSSS sigue el Estándar de Seguridad del Servidor MCP (CC BY-SA 4.0).