Proofrun MCP Server: Install & Setup

Install Proofrun in Claude Code

Claude Code

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

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

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

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

Probably not entirely. The listing mentions pay-per-call, credits or a subscription. Check the provider for current pricing.

Remote. Hosted by the provider. You connect with a URL, nothing to install.

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

com.propobox/propobox

Create, send, track and follow up on client proposals from Claude. Flat-price proposal software.

io.github.ProofMart/proofmart

One-stop claim verification for AI agents: verdicts with confidence, evidence, signed receipts.

de.prorakel/prognosen

Football forecasts from a statistical model: matchdays, probabilities, public track record (German)

com.trycloudflare.favor-skilled-ben-plugin/prooffetch

SSRF-safe URL proof receipts, clean markdown, and SHA-256 change watch for agents.

dev.protoship/protoship

Your agent picks parts for an ESP32 device; Protoship quotes it, has it assembled and delivers it.

equinoxaifinance-rgb/proof-fetch-docs

Web pages your agent can quote: 1,000 full fetches a month free, no card, then $0.01 a page.