ProofRun

npx add-mcp 'https://proofrun.pages.dev/mcp'

Comprueba antes de dar por terminado.

Comprobaciones de aceptación HTTP independientes para agentes de codificación. Envía las pruebas que tu despliegue debe superar. Obtén resultados observados, incluidos fallos y lo que no se pudo verificar.

0.01 USDC por hasta 5 comprobaciones. Piloto limitado en vivo en Base con x402. Inscribe un objetivo autorizado de solo lectura antes de pagar. Los fallos y las comprobaciones no verificadas son resultados entregados, no aprobaciones garantizadas.

Qué comprueba el paquete

• Estado HTTP esperado
• Texto exacto o marcador de versión
• Valores JSON escalares en rutas explícitas

Cada resultado incluye hora de observación, estado real, SHA-256 del cuerpo de la respuesta, número de bytes y aprobado / fallido / no verificado. Una prueba de aceptación fallida es un resultado entregado, no una razón para ocultar evidencia.

Una tarea, un informe

{"checks":[
  {"id":"health","url":"https://your-deployment.example/health",
   "status":200,"json":[{"path":["ready"],"equals":true}]}
]}

Pago x402: USDC nativo en Base. Mantén privados tu token de lectura aleatorio, clave de idempotencia y encabezado de pago original. La repetición devuelve el informe original, no una observación nueva. Retención: 7 días.

Inscripción segura de objetivos

Primero atestigua que eres propietario o estás autorizado para probar el origen y que las rutas GET seleccionadas no tienen efectos secundarios. Luego sirve nuestro archivo de prueba aleatorio en ese origen HTTPS. El control del dominio se comprueba por separado. La inscripción vincula como máximo 5 rutas exactas durante 24 horas.

Sin encabezados de autenticación, secretos en consultas, redirecciones ni objetivos de red privada. Solo se pueden probar rutas exactas verificadas.

Comienza por HTTP o MCP

MCP: /mcp, HTTP Streamable. Herramientas: enroll_target, verify_target, verify_deployment. Las firmas de pago provienen de tu billetera, nunca de la nuestra.

POST /v1/enrollments
Authorization: Bearer YOUR_RANDOM_PRIVATE_READ_TOKEN
{"origin":"https://your-deployment.example",
 "paths":["/health"],"owner_authorized":true,
 "read_only_paths":true}

Serve returned expected_file JSON at proof_url.
POST /v1/enrollments/ENROLLMENT_ID/verify
Authorization: Bearer SAME_PRIVATE_READ_TOKEN

POST /v1/checks
Authorization: Bearer SAME_PRIVATE_READ_TOKEN
X-ProofRun-Enrollment: ENROLLMENT_ID
Idempotency-Key: YOUR_UNIQUE_16_TO_64_CHAR_ID
Content-Type: application/json

Unsigned request returns 402 and PAYMENT-REQUIRED.
Review amount/network/recipient before wallet signing.
Repeat same request with PAYMENT-SIGNATURE from wallet.
Save original request/header; never create a new signature
when outcome is uncertain. Read GET /v1/reports/ID instead.

La prueba pendiente caduca en 10 minutos; la inscripción verificada en 24 horas. Las solicitudes pueden devolver 429 en capacidad piloto. Las lecturas de informes devuelven la observación original, no una prueba nueva.

Qué no demuestra esto

Sin certificación de seguridad, inspección visual, corrección completa de la aplicación, corrección de pagos ni juicio de propiedad legal. Los hashes identifican bytes observados; no son una prueba notariada. Curl gratuito y pruebas locales pueden ser suficientes para tu tarea. Usa comprobaciones independientes alojadas cuando ese sea el trabajo que necesitas.

OpenAPI · Catálogo de máquinas · Salud del servicio

Piloto limitado. Sin SLA de disponibilidad ni afirmación de demanda del cliente. Endpoint MCP disponible; la indexación de directorios aún no está verificada.