io.github.davisvillelabs/localproof
LocalProof
io.github.davisvillelabs/localproof costs 3 101 tokens of context per session. It has 14 tool definitions. That is 1.6 % of a 200k window. Measured 2026-10-03.
Local government intelligence for AI agents.
alive probed 2026-10-03 · HTTP 200
14tools
3.1ktokens for the tool definitions
1.6 %of a 200k context window
890 msto initialize
404 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.32
- Capabilities
- experimental, tools
- Instructions
- 110 characters
- Website
- https://localproof.davisvillelabs.com
- Registry
- active, updated 2026-10-02 · registry entry
- Reachable
- 2 of the last 2 probes
Most expensive tools
| Tool | Tokens | 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 | Tokens |
|---|---|---|---|---|
| 2026-10-03 20:37 | alive | 890 ms | 14 | 3.1k |
| 2026-10-03 17:53 | alive | 588 ms | 14 | 3.1k |
Badge
[](https://mcp-pulse.ulehla.dev/s/io.github.davisvillelabs/localproof)