Proofrun

dev.pages.proofrunDiesen Server beanspruchen

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

Zu Cursor hinzufügen In Claude hinzufügen Zu VS Code hinzufügen Auf PlugMCP ausführenDiesen Server beanspruchen

Zu Cursor hinzufügen In Claude hinzufügen Zu VS Code hinzufügen Auf PlugMCP ausführen

1{2  "mcpServers": {3    "dev.pages.proofrun-proofrun": {4      "url": "https://proofrun.pages.dev/mcp",5      "headers": {}6    }7  }8}

.cursor/mcp.jsonMCP-Server

Transport: http
Status: Remote

Agenten stärken

Diesen Server hinzufügen

Die eigene URL des Herausgebers. Kein PlugMCP-Endpunkt.

Zu Cursor hinzufügen In Claude hinzufügen Zu VS Code hinzufügen Auf PlugMCP ausführen

Host a copy with our keys and logs.

Server-URL

https://proofrun.pages.dev/mcp

Die Claude-Schaltfläche oben öffnet Claude mit ausgefülltem Namen und ausgefüllter URL. Sie bestätigen dort noch.

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 · HTTPInstallation vom HerausgeberSchritt für Schritt: in Claude hinzufügen

Remote-URL oder ein Befehl auf Ihrem Rechner? Worin sich die beiden Installationen unterscheiden

Auf PlugMCP ausführen

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.

Starten

Server-Details

Remote

Transport: http
Version: 0.1.0
Zuletzt geprüft: 2026-11-08

Sterne: —
Tools: —
Uptime: —

Tools

Noch keine Tool-Liste. Remote-Server erhalten eine nach dem ersten Health-Check.

FAQ

Fragen

Wie installiere ich Proofrun?

Kopieren Sie auf dieser Seite die http-Konfiguration für Cursor, Claude Desktop, Claude Code oder VS Code. Sie nutzt die Installation des Herausgebers, keinen PlugMCP-Proxy.