proofrun
ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack.
Should I use this
Quality & Safety
Based on automated analysis of tool definitions and protocol compliance.
Context Cost
This is the approximate number of tokens consumed each time the server's tools are loaded into a model's context. Higher counts reduce the attention available for other tasks.
Install
One-Click Install
Add this to your `claude_desktop_config.json` file:
{
"mcpServers": {
"proofrun": {
"url": "https://proofrun.pages.dev/mcp"
}
}
}Remote endpoints
https://proofrun.pages.dev/mcpstreamable-httpWhat it can do
Tool inventory
Tools (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.
Input Schema
{
"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.
Input Schema
{
"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.
Input Schema
{
"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#"
}Community
Evidence