io.github.proofable/mcp
Proofable MCP
io.github.proofable/mcp costs 653 tokens of context per session. It has 4 tool definitions. That is 0.3 % of a 200k window. Measured 2026-10-03.
Give AI agents identity, scoped access, trusted context, and verifiable actions through MCP.
alive probed 2026-10-03 · HTTP 200
4tools
653tokens for the tool definitions
0.3 %of a 200k context window
368 msto initialize
70 msto list tools
- Endpoint
- https://mcp.proofable.me/mcp (streamable-http)
- Host
- mcp.proofable.me
- Protocol
- 2025-11-25
- Reports itself as
- proofable-mcp 0.1.3
- Capabilities
- tools
- Instructions
- 2 371 characters
- Repository
- https://github.com/proofable/mcp
- Website
- https://docs.proofable.me/mcp/setup
- Registry
- active, updated 2026-09-28 · registry entry
- Reachable
- 2 of the last 2 probes
Most expensive tools
| Tool | Tokens | Share of this server |
|---|---|---|
| proofable_verify_or_guide | 265 | 41 % |
| proofable_proofs_check | 240 | 37 % |
| proofable_context | 76 | 12 % |
| proofable_verifiers_catalog | 72 | 11 % |
Same tool set as 1 other server
These registry entries have the same tool names and the same schema sizes.
- io.github.neus/neus-mcp mcp.neus.network
History
We add a row when the result changes. A server with no change keeps its last row.
| Probed | Result | Init | Tools | Tokens |
|---|---|---|---|---|
| 2026-10-03 20:39 | alive | 368 ms | 4 | 653 |
| 2026-10-03 17:54 | alive | 895 ms | 4 | 653 |
Badge
[](https://mcp-pulse.ulehla.dev/s/io.github.proofable/mcp)