How do I install proofrun?

Pick a client above and copy the generated config. Cursor and VS Code also have a deep link when the server can run locally or remotely.

Is proofrun official?

No. Registry-listed is not the same as vendor-official. Read the methodology for the difference.

This listing scores 52 (Fair). The formula is published on the methodology page.

proofrun MCP Server — Install for Claude, Cursor & VS Code | MCPpedia

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

RegistryRemote

52Fair

~/Library/Application Support/Claude/claude_desktop_config.json

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

This server does not declare environment variables.

Tools show up when the registry metadata or the repository README lists them. GitHub enrichment fills this in when a token is configured.

83Excellent

Parse Korean documents (HWP, HWPX, PDF, XLSX, DOCX, PPTX) to Markdown; fill forms, diff, render.

Registrychrisryugj2.5K stars44.2K/wk

75Good

Google PageSpeed Insights and CrUX: six workflow tools for web performance.