Verificador MCP de Habilidades de Claude: Auditoría Determinista de Cambios Disruptivos del 28 de julio de 2026

Con la llegada de la revisión 2026-07-28 de MCP, el mayor cambio disruptivo del protocolo — transporte sin estado, sin más Mcp-Session-Id, OAuth 2.1 — muchos servidores públicos están silenciosamente rotos. En lugar de confiar en conjeturas basadas en LLM, un desarrollador construyó un verificador determinista que produce el mismo resultado para la misma entrada y cita la página exacta de la especificación para cada hallazgo.

Cómo funciona el verificador

El núcleo es un motor de reglas puro con 7 reglas, expuesto de dos maneras:

• Demo web — pega un endpoint y obtén un informe calificado. Sin instalación, no se almacena nada.
• Skill de Claude — un SKILL.md más un verificador empaquetado sin dependencias. En Claude Code maneja diagnóstico y migración, pero puedes descomprimirlo y ejecutar el verificador con cualquier agente (Codex, Cursor).

El repositorio (MIT, ~86 pruebas) está en GitHub. Incluso hay una sección README llamada "Una regla que estaba mal", con pruebas que fijan ambos errores para que no se repitan.

Lo que aprendió el autor

Una regla estaba confiadamente equivocada: decía a los usuarios que actualizaran el SDK a ^2 — una versión que no existe (se detiene en 1.30.0). Después de eliminarla con la nota "no existe v2", resultó que v2 sí existe como un cambio de nombre del paquete. La lección: "esto no existe" y "buscaste en el lugar equivocado" producen evidencia idéntica — un cambio de nombre se ve exactamente como una ausencia. Determinista no es lo mismo que correcto.

Ese modo de fallo aparece en todas partes donde los agentes escriben código: afirmaciones confiadas, plausibles e internamente consistentes que simplemente no son ciertas. La solución no es "confiar menos" — es hacer que las afirmaciones sean verificables y luego verificarlas.

Para quién es

Cualquiera que ejecute servidores MCP o migre a la especificación 2026-07-28, además de desarrolladores que construyen herramientas de agentes que necesitan que sus resultados se verifiquen contra la especificación.