Proofrun MCP Server

by pages-proofrun Your server? Claim it

answering

Proofrun is answering right now. Last checked 7 min ago. It exposes 5 tools.

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

Uptime history 27 days of history · worst day 99%

27 days agonow

100.0%

Uptime 24h

91 of 91 checks

Tools

read from the server

561 ms

Response time

average over 24h

open, no key

Access

streamable-http

What changed 4

Every tool that appeared, vanished or quietly changed what it asks for. Recorded since 13 October 2026. No other catalogue keeps this.

15 Oct 2 tools appeared preflight_pack, read_report

13 Oct a tool description was rewritten verify_deployment

13 Oct a tool changed the parameters it asks for verify_deployment

Nothing serious here today

Today is the operative word: we check Proofrun every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.

Connect this server

Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 7 min ago.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

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

Settings → Connectors → Add custom connector, then paste this address

https://proofrun.pages.dev/mcp

~/.codex/config.toml

[mcp_servers.proofrun]
url = "https://proofrun.pages.dev/mcp"

.cursor/mcp.json

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

.vscode/mcp.json

{
  "servers": {
    "proofrun": {
      "type": "http",
      "url": "https://proofrun.pages.dev/mcp"
    }
  }
}

Available tools 5

Read directly from the server with tools/list, grouped by what they act on. If a tool disappears, we record the date.

verify

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. Never creates a wallet signature. Returns bounded independent HTTP assertions, not security or full-application certification.

verify_target

Verify the exact proof file for a previously started enrollment. Successful enrollment expires after 24 hours.

enroll

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.

preflight

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.

report

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.

Endpoints

URL	Transport	State	Latency	Checked
https://proofrun.pages.dev/mcp	streamable-http	answering	750 ms	7 min ago

Alternatives to Proofrun

same job, measured the same way

Proofrun

by workers-jeffmarcilliat-proofrun-closed

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

5 tools answering

Perceptdot Vercel

by perceptdot

AI agent vision for Vercel deployments — with ROI measurement. perceptdot.com

75 installs/wk local only

Alpic

by alpic-mcp

Manage your projects, debug deployments, and check analytics for any MCP server you host with Alpic.

answering

Novence

by novence

Hosted MCP for creating, checking, deploying, and hosting static sites for AI agents.

52 tools answering

Novence

by lincchad

Hosted MCP for creating, checking, deploying, and hosting static sites for AI agents.

52 tools answering

ClawMaven

by foodyogi

Pre-deploy governance for AI agents: posture scores, policies, budget cap checks, trust manifests.

answering

Groundwork

by nickjlamb

Deployment-readiness checks for document-QA and extraction AI: grounding, extraction, CI gate.

51 installs/wk local only

Coolftp

by anivdel

Deploy a site to its SFTP/FTP host from a coding agent. Changed files only, undo, live checks.

88 installs/wk local only

Proofrun — questions

Answers built from our own checks of this server.

What can Proofrun do?

It exposes 5 tools, read directly from the server on our last check. Among them: enroll_target, preflight_pack, read_report, verify_deployment, verify_target. The full list with descriptions is on this page — we take it from the server itself via tools/list, not from a README. How MCP servers expose tools in the first place →

Is Proofrun working right now?

We send a real MCP handshake every 15 minutes. Over the last 24 hours 91 of 91 checks got a reply (100.0%), average response time 561 ms. The bar chart above shows every period we have measured.

How do I connect Proofrun?

Copy the ready config from this page. We generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each in the form that client actually reads. It is a remote server, so there is nothing to install — the client connects to the address.

Does Proofrun need an API key?

No. Proofrun completed a full MCP handshake with us as an anonymous client and listed its tools without asking for anything. All 5 of them are readable on this page. This is what we observed, not what the docs claim.

How fast is Proofrun?

It answers our handshake in 561 ms on average, which is faster than 20% of all working MCP servers we measure. That is on the slow side — worth knowing if the tool sits inside an interactive loop. The comparison comes from our own checks across the whole registry, every 15 minutes.