verifiable-claim-seed

Contrato de declaración verificable por máquina + puerta de enlace de cero dependencias + muestra real. Reproducible ≠ verificable: repro+frozen prueban la consistencia interna; la corrección externa la lleva el ancla. Primero el agente: lee ai-catalog.json antes de este archivo para el manifiesto legible por máquina.

mcp-name: io.github.elwsls/verifiable-claim-seed

instalación

pip install verifiable-claim-seed     # zero dependencies, Python stdlib only
verify-claim self-test                # prove the gate works in this environment

O clona el repositorio y ejecuta la puerta directamente:

python3 verifiable_claim_seed/verify_claim.py self-test

Related MCP server: HREVN MCP Server

puntos de entrada

verificar

verify-claim self-test                              # pip 安装后
verify-claim verify <claim.json> [--report out.json]
# 仓库内直接跑：
python3 verifiable_claim_seed/verify_claim.py self-test

Códigos de salida: 0 todo correcto / 1 fallo grave (estructura/formato/archivos referenciados por la declaración faltantes) / 2 uso·entorno (argumentos de línea de comandos/archivo de declaración a verificar faltante) / 3 violación del contrato de evidencia (hash no coincide/reproducción no coincide).

Semántica de rutas: las rutas data//scripts/ dentro de la declaración se resuelven relativas a la raíz del paquete (directorio del script de la puerta), no relativas al JSON de la declaración. Antes de verificar una declaración de un solo archivo copiada desde fuera, mantén la estructura completa del repositorio o coloca la declaración completa de vuelta en verifiable_claim_seed/claims/. Ancla text-quote con instantánea de bytes: anchor.mode=text-quote debe incluir quote + locator + snapshot + snapshot_sha256 (ruta del archivo de instantánea de origen + hash de 64 caracteres). La puerta verifica byte a byte el hash de la instantánea y extrae el texto de la instantánea para una comparación compacta con «normalización de caracteres tipográficos + eliminación de espacios en blanco»——la cita textual debe existir realmente en la instantánea congelada (las entidades HTML/espacios renderizados no causan falsos positivos). La máquina verifica «la cita está en esta instantánea»; si la instantánea es realmente la fuente real aún requiere verificación humana/AI. repro.script es Python: repro.script se ejecuta con python3 (subprocess, tiempo de espera 120s)——el script debe ser Python. Sin sandbox: la puerta no aísla, las rutas pueden atravesar la raíz del paquete y se ejecuta con los permisos del llamador; la seguridad depende completamente de «solo verificar declaraciones en las que confías». Nota de cero dependencias: verify_claim.py es el validador real (stdlib puro, no depende de la librería jsonschema); schema/*.json son las especificaciones del contrato——ambos son verificados por la máquina en el self-test «sincronización del contrato schema-gate» para que no se desvíen. anchor.sha256 también está fijado: si apunta a un archivo dentro del repositorio, se verifica byte a byte (fallo rc3). Nota de seguridad: verify ejecuta realmente el repro.script de la declaración. Solo verifica declaraciones en las que confías; verificar una declaración de fuente no confiable equivale a ejecutar su código arbitrario en tu máquina. Límite de diseño: la puerta verifica «el script produce su salida declarada», no «el script calcula correctamente»——un repro.script falsificado que imprima el hash correcto + los valores esperados puede pasar rc0. La integridad proviene de los bytes de entrada congelados (anchor/frozen) y la autoconsistencia de la declaración, no de las matemáticas. «Solo verificar declaraciones en las que confías» es por tanto un requisito de seguridad, no un adorno.

servidor MCP

verifiable-claim-mcp (o el alias de inicio del registro verifiable-claim-seed) expone tres herramientas (stdio, cero dependencias):

• self_test — autocomprobación de la puerta, PASS/FAIL + número de casos

• validate — verificación de estructura + hash, no ejecuta scripts (usa esto para declaraciones no confiables)

• verify — verificación completa, requiere explícitamente allow_execution=true (ejecutará el repro.script de la declaración, es decir, código arbitrario); sin esa bandera se rechaza siempre

Registro MCP: server.json (io.github.elwsls/verifiable-claim-seed, PyPI/stdio).

Conexión con Claude Code (después de pip install)——coloca .mcp.json en la raíz del proyecto (el repositorio ya incluye un ejemplo), las tres herramientas se cargan automáticamente en nuevas sesiones:

{ "mcpServers": { "verifiable-claim-seed": { "command": "python3", "args": ["verifiable_claim_seed/mcp_server.py"] } } }

También se puede usar uvx verifiable-claim-seed (después de la publicación en PyPI). Verificación de extremo a extremo con un agente desconocido: descubre las tres herramientas → validate sin ejecución → verify rechaza sin allow_execution → pasa con la bandera.

Licencia: MIT. Cero dependencias (stdlib de Python).