io.github.projecttron/numproof
NumProof
io.github.projecttron/numproof costs 234 tokens of context per session. It has 4 tool definitions. That is 0.1 % of a 200k window. Measured 2026-10-03.
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
alive probed 2026-10-03 · HTTP 200
4tools
234tokens for the tool definitions
0.1 %of a 200k context window
800 msto initialize
200 msto list tools
- Endpoint
- https://numproof.com/mcp (streamable-http)
- Host
- numproof.com
- Protocol
- 2024-11-05
- Reports itself as
- NumProof 1.0.0
- Capabilities
- tools
- Instructions
- none
- Repository
- https://github.com/projecttron/numproof
- Website
- https://numproof.com
- Registry
- active, updated 2026-06-26 · registry entry
- Reachable
- 2 of the last 2 probes
Most expensive tools
| Tool | Tokens | Share of this server |
|---|---|---|
| verify_claim | 68 | 29 % |
| covenant_rules | 66 | 28 % |
| diff_rows | 53 | 23 % |
| audit_rows | 47 | 20 % |
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 | 800 ms | 4 | 234 |
| 2026-10-03 17:54 | alive | 167 ms | 4 | 234 |
Badge
[](https://mcp-pulse.ulehla.dev/s/io.github.projecttron/numproof)