io.github.davisvillelabs/localproof
LocalProof
Local government intelligence for AI agents.
alive probed 2026-10-05 · HTTP 200
14tools
5.7ktokens in Claude Opus 5.5
5.9ktokens in Claude Code
2.9 %of a 200k context window
3.1ko200k_base estimate
561 msto initialize
274 msto list tools
- Endpoint
- https://localproof.davisvillelabs.com/mcp (streamable-http)
- Host
- localproof.davisvillelabs.com
- Protocol
- 2025-11-25
- Reports itself as
- io.github.davisvillelabs/localproof 0.31.33
- Capabilities
- experimental, tools
- Instructions
- 110 characters
- Claude count
- Claude Opus 5.5, measured 2026-10-05. Counted again when the tool definitions change. Method.
- Website
- https://localproof.davisvillelabs.com
- Registry
- active, updated 2026-10-04 · registry entry
- Reachable
- 6 of the last 6 probes
Most expensive tools
| Tool | Tokens (o200k) | Share of this server |
|---|---|---|
| localproof.compare_sites | 306 | 10 % |
| localproof.check_property_changes | 284 | 9 % |
| localproof.build_development_due_diligence | 241 | 8 % |
| localproof.build_property_intelligence_pack | 234 | 8 % |
| localproof.check_permits | 230 | 7 % |
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-05 14:40 | alive | 561 ms | 14 | 5.7k | 3.1k |
| 2026-10-05 00:33 | alive | 521 ms | 14 | 3.1k | |
| 2026-10-04 10:04 | alive | 865 ms | 14 | 3.1k | |
| 2026-10-04 07:57 | alive | 1.5 s | 14 | 3.1k | |
| 2026-10-03 20:37 | alive | 890 ms | 14 | 3.1k | |
| 2026-10-03 17:53 | alive | 588 ms | 14 | 3.1k |
Badge and feed
[](https://mcpcost.ulehla.dev/s/io.github.davisvillelabs/localproof)
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.