Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

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

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

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

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "proofrun": {
      "type": "remote",
      "url": "https://proofrun.pages.dev/mcp",
      "enabled": true
    }
  }
}

{
  "mcpServers": {
    "proofrun": {
      "type": "http",
      "url": "https://proofrun.pages.dev/mcp"
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=proofrun&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vcHJvb2ZydW4ucGFnZXMuZGV2L21jcCJ9"
}

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

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

extensions:
  "proofrun":
    enabled: true
    name: "proofrun"
    type: streamable_http
    uri: "https://proofrun.pages.dev/mcp"
    timeout: 300

Quality 79 / 100good

protocol75 · weight 25

warn
protocol.modernnewest supported version is 2025-11-25; 2026-07-28 not supported, older versions are deprecated until 2027-07-28
n/a
protocol.statelessonly applies to 2026-07-28 servers
pass
protocol.transportstreamable HTTP
n/a
protocol.list_ttlonly applies to 2026-07-28 servers

authorizationn/a · weight 15

n/a
auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
n/a
auth.secret_in_urlno templated URL

tool hygiene71 · weight 30

pass
tools.descriptionsevery tool has a description
pass
tools.description_lengthdescriptions are concise
pass
tools.schemasevery tool has an object input schema
fail
tools.annotationsno tool declares readOnlyHint or destructiveHint, so clients cannot tell safe calls from risky ones
fail
tools.directory_hintsno tool declares all four of readOnlyHint, destructiveHint, idempotentHint and openWorldHint; missing: enroll_target (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); verify_target (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); verify_deployment (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); …
pass
tools.token_costabout 1,056 tokens to load every tool
pass
tools.api_dumptools are not a one-to-one API dump

stability100 · weight 15

pass
stability.changes3 tool changes in 30 days
pass
stability.rug_pullno tool changed its meaning under the same name

dependenciesn/a · weight 15

n/a
deps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI package

5 tools, about 1,056 tokens to load them all · tool set c559ba0b6aae · tools last changed 2026-10-15 · checked 2026-10-20 10:03 UTC

Tool changes

2026-10-15read_reportadded
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.
2026-10-15preflight_packadded
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.
2026-10-13verify_deploymentchangeddescription, input schema
before
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. Never creates a wallet signature. Returns bounded independent HTTP assertions, not security or full-application certification.
after · 83% of words in common
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.

Full history: list_changes · trend: quality JSON.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 83 / 100

no-repository

provenance55

liveness100

freshness100

hygiene80

+dns-namespace +website +reachable +uptime-100% +updated-8d-ago -no-repository

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Endpoints

remote	auth	reachable	uptime 30d	p50	protocol	last ok
`https://proofrun.pages.dev/mcp` streamable-http	none	yes	100%	727 ms	2025-11-25	2026-10-20

Tools (5)

`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_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.
`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.

Schemas: list_tools.

Similar MCP servers

Official server.json

{
  "name": "dev.pages.proofrun/proofrun",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "remotes": [
    {
      "url": "https://proofrun.pages.dev/mcp",
      "type": "streamable-http"
    }
  ],
  "version": "0.1.0",
  "websiteUrl": "https://proofrun.pages.dev/",
  "description": "ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack."
}