proofrun
ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack.
¿Debería usar esto?
Calidad y seguridad
Basado en el análisis automatizado de las definiciones de herramientas y el cumplimiento del protocolo.
Costo de contexto
Este es el número aproximado de tokens que se consumen cada vez que las herramientas del servidor se cargan en el contexto de un modelo. Los recuentos más altos reducen la atención disponible para otras tareas.
Instalar
Instalación con un clic
Agrega esto a tu archivo `claude_desktop_config.json`:
{
"mcpServers": {
"proofrun": {
"url": "https://proofrun.pages.dev/mcp"
}
}
}Puntos de conexión remotos
https://proofrun.pages.dev/mcpstreamable-httpQué puede hacer
Inventario de herramientas
Herramientas (3)
🟢enroll_target(origin, paths, owner_authorized, read_only_paths, read_token)
Start authorization and origin-control proof for up to five exact read-only HTTPS GET paths. Serve the returned proof JSON at proof_url before verifying. Private read_token must be generated and saved by the caller.
Esquema de entrada
{
"type": "object",
"properties": {
"origin": {
"type": "string",
"format": "uri"
},
"paths": {
"type": "array",
"items": {
"type": "string"
},
"minItems": 1,
"maxItems": 5
},
"owner_authorized": {
"type": "boolean",
"const": true
},
"read_only_paths": {
"type": "boolean",
"const": true
},
"read_token": {
"type": "string",
"minLength": 32,
"maxLength": 128
}
},
"required": [
"origin",
"paths",
"owner_authorized",
"read_only_paths",
"read_token"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}⚪verify_target(enrollment_id, read_token)
Verify the exact proof file for a previously started enrollment. Successful enrollment expires after 24 hours.
Esquema de entrada
{
"type": "object",
"properties": {
"enrollment_id": {
"type": "string",
"pattern": "^[a-f0-9-]{36}$"
},
"read_token": {
"type": "string",
"minLength": 32,
"maxLength": 128
}
},
"required": [
"enrollment_id",
"read_token"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}🟢verify_deployment(checks, enrollment_id, read_token, idempotency_key, payment_signature, ...)
Return a $0.01 native Base USDC x402 challenge without paying. For execution supply a verified enrollment, private read token, idempotency key and caller-created payment_signature or headers.PAYMENT-SIGNATURE. Only that payment header is accepted; enrollment/read token/idempotency remain explicit. Never creates a wallet signature. Returns bounded independent HTTP assertions, not security or full-application certification.
Esquema de entrada
{
"type": "object",
"properties": {
"checks": {
"type": "array",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string"
},
"url": {
"type": "string",
"format": "uri"
},
"status": {
"type": "integer"
},
"text": {
"type": "string"
},
"json": {
"type": "array",
"items": {
"type": "object",
"properties": {
"path": {
"type": "array",
"items": {
"type": "string"
}
},
"equals": {
"type": [
"string",
"number",
"boolean",
"null"
]
}
},
"required": [
"path",
"equals"
],
"additionalProperties": false
}
}
},
"required": [
"id",
"url",
"status"
],
"additionalProperties": false
},
"minItems": 1,
"maxItems": 5
},
"enrollment_id": {
"type": "string",
"pattern": "^[a-f0-9-]{36}$"
},
"read_token": {
"type": "string",
"minLength": 32,
"maxLength": 128
},
"idempotency_key": {
"type": "string",
"pattern": "^[-a-zA-Z0-9_]{16,64}$"
},
"payment_signature": {
"type": "string",
"maxLength": 16384
},
"headers": {
"type": "object",
"additionalProperties": {
"type": "string"
}
}
},
"required": [
"checks"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}Comunidad
Evidencia