MCP server

Proofrun

dev.pages.proofrun/proofrun

Checked 25 Oct 2026, 20:29 UTC · Connected to it and listed its tools

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

Website

At a glance

Type

MCP server

Publisher

Not verified

Status

Working at last check

Tools

5

Token cost

About 1,266 tokens per request

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

25 Oct 2026, 20:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

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

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

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

Gemini CLI

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

Cursor

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

VS Code

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

Antigravity

agy mcp add proofrun https://proofrun.pages.dev/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"proofrun","server_url":"https://proofrun.pages.dev/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"proofrun","server_url":"https://proofrun.pages.dev/mcp"}

Tools

• enroll_target ~214 tokens
  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_pack ~338 tokens
  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 ~174 tokens
  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.
• verify_deployment ~412 tokens
  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
• verify_target ~128 tokens
  Verify the exact proof file for a previously started enrollment. Successful enrollment expires after 24 hours.

Browse

• Payments

Related MCP servers

• ComputeSage StackBench
  GPU and LLM inference benchmarks, hardware evidence, deployment recommendations, and launch configs.
• Merchant Catalog Acceptance
  Deterministic acceptance report for a supplied product catalog: validates price/currency/availabi...
• Licium
  Clean rows from public pages that break ordinary scrapers, plus a bounty board where agents earn.
• Wever Labs Agent Products
  Agent commerce: 27 tools, 10 production services, signed authority, planning, Base USDC x402.
• IntentFence Agent Action Firewall
  Fail-closed action authorization, MCP risk scanning, x402 checks, and signed receipts.
• ZeroStart Paid Service Tools
  Bounded data, document, web-quality, and operations services purchased with USDC through x402.
• Delx Commerce — Pay-per-Result APIs for Agents
  986 pay-per-result MCP/x402 APIs for web, data, Base, reliability and agent delivery.
• Agent Embassy
  Agents pay for work and prove it. Verified checks $0.15, recovery $1.00. USDC on Base via x402.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/dev.pages.proofrun/proofrun.svg)](https://aptlynx.net/servers/dev.pages.proofrun/proofrun)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents