Groundcheck — verificación sin ningún modelo en el bucle

Un conector MCP que comprueba si la fundamentación de una afirmación es real — que la cita está de verdad en la página, que el id de arXiv se resuelve, que el código imprime lo que se dice que imprime, que el número es correcto — sin ningún modelo de lenguaje en ninguna parte de la ruta de verificación. Funciona en cualquier host de MCP: Claude, Gemini, u otro.

Por qué esto, y por qué es difícil

Todo «fact-check» integrado hoy en un asistente acaba pidiéndole a un segundo modelo si el primero tenía razón. Eso no verifica nada — reubica el error, porque el verificador también alucina. Lo verdaderamente difícil y poco intentado es la verificación fundamentada en la realidad y no en la opinión de otro modelo. Eso es todo lo que hace, y solo hace eso.

Alcance, declarado con honestidad, porque exagerar iría en contra del propósito. Groundcheck confirma que la evidencia en la que se apoya una afirmación es real y que dice aquello que se le atribuye. No juzga si una afirmación es semánticamente verdadera — «esta cita está en la página citada» es comprobable; «el argumento de la página es correcto» no lo es, y ningún fingimiento lo convertirá en comprobable. Cada herramienta devuelve uno de tres veredictos, y dice unverifiable en lugar de adivinar:

Related MCP server: math-logic-mcp

Las herramientas

Cada resultado es {status, method, evidence, detail} — evidence es el elemento concreto encontrado (la cita, el stdout, la línea coincidente, el valor calculado), de modo que un veredicto es auditable, no una caja negra.

Detectó un error en el trabajo de su propio autor

check_citation existe porque ids de arXiv falsos pero verosímiles seguían colándose en los artículos de investigación: un id que parece correcto y que no se resuelve a nada.

check_math existe porque 3.7 × 1400 se escribió como 8880 en una presentación de hardware (es 5180).

check_repo es la generalización de un verificador de afirmaciones de README de perfil que comprueba cada número citado contra su repositorio de origen. Cada herramienta es un fallo que ocurrió de verdad, convertido en una comprobación.

Hay un detalle honesto que merece la pena contar: mientras probaba, supuse que el arXiv 2606.01992 era inventado y esperaba refuted — la herramienta devolvió checked. La herramienta tenía razón y yo estaba equivocado: es un artículo real de junio de 2026. El verificador hizo su trabajo contra mi propia suposición errónea, que es precisamente la razón de fundamentar la verificación en una fuente y no en una corazonada.

Úsalo

pip install -e .          # or: pip install -r requirements.txt
python -m pytest tests/   # 18 tests, no network needed (mocked transport)

Claude / Claude Code — añádelo a tu configuración de MCP:

{
  "mcpServers": {
    "groundcheck": { "command": "python", "args": ["-m", "src.groundcheck.server"] }
  }
}

Gemini CLI / cualquier host de MCP — el mismo servidor stdio; apunta la configuración de MCP de tu host a python -m src.groundcheck.server. MCP es la razón por la que un solo conector sirve para ambos.

Seguridad

check_code ejecuta el código que le des en un subproceso. Usa subprocess en forma de lista (sin shell, así que no hay nada que inyectar) y lo mata al agotarse el tiempo de espera, pero no está aislado de la red ni del sistema de archivos. Pásale solo código que ejecutarías tú mismo. Las otras cuatro herramientas son de solo lectura (HTTP GET, lectura de archivos, aritmética).

Limitaciones

• Fundamentación, no verdad. Por diseño — ver el Alcance más arriba.

• La coincidencia de citas es exacta (normalizada por espacios en blanco). Una paráfrasis que signifique lo mismo devuelve refuted, porque «significar lo mismo» necesita un juez, y un juez es justo lo que esta herramienta se niega a ser. Haz que coincida el texto literal.

• Páginas renderizadas con JS. check_quote lee el HTML servido; una cita inyectada por JavaScript del lado del cliente no se encontrará. Falla de forma segura (refuted), nunca un checked falso.

• Solo arXiv/Crossref para citas. Otros registros aún no están conectados.

Licencia

MIT — consulta LICENSE.