enroll_target
enroll target
dev.workers.jeffmarcilliat.proofrun-closed/proofrun
ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack.
run in your project directory
claude mcp add --transport http proofrun https://proofrun-closed.jeffmarcilliat.workers.dev/mcp
setup guides: Claude Code Claude Desktop Cursor VS Code Zed Windsurf Cline Gemini CLI Grok ChatGPT Claude.ai LangChain
Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs
enroll_target
enroll target
verify_target
verify target
verify_deployment
verify deployment
Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. Check the server's own documentation before granting access.
We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect