How do I install Proofrun?

Copy the http config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.

Does Proofrun need an API key?

No required environment variable is listed on this record.

When was Proofrun last checked?

Last checked 2026-11-08. ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack.

Proofrun MCP server

Power your agent

Add this server

The publisher's own URL. Not a PlugMCP endpoint.

Add to Cursor Add in Claude Add to VS Code Run on PlugMCP

Host a copy with our keys and logs.

Server URL

https://proofrun.pages.dev/mcp

The Claude button above opens Claude with the name and URL filled in. You still confirm it there.

shClaude Code

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

Run in a terminal.

jsonClaude Desktop

1{2  "mcpServers": {3    "dev.pages.proofrun-proofrun": {4      "command": "npx",5      "args": [6        "-y",7        "mcp-remote",8        "https://proofrun.pages.dev/mcp"9      ]10    }11  }12}

claude_desktop_config.json

Remote · HTTPPublisher installStep-by-step: add this in Claude

Remote URL or a command on your machine? How the two installs differ

Run on PlugMCP

Host a copy with our keys and logs.

A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.

Launch

Server facts

Remote

Transport: http
Version: 0.1.0
Last checked

Tools

No tool list yet. Remote servers get one after the first health check.

FAQ

Proofrun

Add this server

Host a copy with our keys and logs.

Server facts

Tools

Questions

How do I install Proofrun?

Does Proofrun need an API key?

What transport does Proofrun use?

When was Proofrun last checked?

Documentation