dev.pages.proofrun/proofrun
ProofRun
ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack.
alive probed 2026-10-15 · HTTP 200
5tools
1.9ktokens in Claude Opus 5.5
2.0ktokens in Claude Code
1.0 %of a 200k context window
1.0ko200k_base estimate
586 msto initialize
517 msto list tools
- Endpoint
- https://proofrun.pages.dev/mcp (streamable-http)
- Host
- proofrun.pages.dev
- Protocol
- 2025-11-25
- Reports itself as
- ProofRun 0.1.0
- Capabilities
- tools
- Instructions
- none
- Claude count
- Claude Opus 5.5, measured 2026-10-15. Counted again when the tool definitions change. Method.
- Website
- https://proofrun.pages.dev/
- Registry
- active, updated 2026-10-12 · registry entry
- Reachable
- 3 of the last 3 probes
Most expensive tools
| Tool | Tokens (o200k) | Share of this server |
|---|---|---|
| verify_deployment | 342 | 33 % |
| preflight_pack | 278 | 27 % |
| enroll_target | 172 | 16 % |
| read_report | 147 | 14 % |
| verify_target | 106 | 10 % |
History
We add a row when the result changes. A server with no change keeps its last row.
| Probed | Result | Init | Tools | Claude | o200k |
|---|---|---|---|---|---|
| 2026-10-15 09:58 | alive | 1.2 s | 5 | 1.9k | 1.0k |
| 2026-10-14 09:17 | alive | 1.0 s | 3 | 1.1k | 620 |
| 2026-10-13 11:11 | alive | 586 ms | 3 | 1.1k | 583 |
Badge and feed
[](https://mcpcost.ulehla.dev/s/dev.pages.proofrun/proofrun)
An entry for every probe that changed the result, the tool count or the token cost: Atom feed. Add it to a feed reader or a Slack RSS app to hear when the server stops answering or its tool set grows.