All servers · Payments & accounting · Agent payments (x402) · Build & deploy

dev.pages.proofrun/proofrun

dev.pages.proofrun/proofrun · v0.1.0

Measured by MCP Station

Description written by the publisher, not verified

ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack.

Connect

claude mcp add --transport http proofrun https://proofrun.pages.dev/mcp

{
  "mcpServers": {
    "proofrun": {
      "url": "https://proofrun.pages.dev/mcp"
    }
  }
}

Tools as reported by the server

• enroll_target
  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.
• verify_target
  Verify the exact proof file for a previously started enrollment. Successful enrollment expires after 24 hours.
• verify_deployment
  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. N
• preflight_pack
  Free configuration and enrollment preflight before paying. Validates exact authorized paths, pack and idempotency format; refuses an existing caller payment attempt. Makes no target request, signature, settlement or ledger write. Not a deployment test, wallet/balance check or capacity reservation.
• read_report
  Read or reconcile the original private report for a purchase. Use the ORIGINAL idempotency_key, not the report_id UUID. Free; never signs or charges. If state is uncertain do not pay again. Requires the original private read token; reports expire after seven days.

Website · JSON · Text for agents · Registry updated 2026-10-12