ProofBench
declares a check tool (User-Agent declaration). A name is not a verified identity; the same name may be used by different operators.
- Declared User-Agent:
ProofBench/0.1 (+https://proofbench.dev/about/probe; MCP registry health probe) - Addresses written in the User-Agent (self-description, not proof of identity; Lowdown does not open them):
https://proofbench.dev/about/probe - clientInfo names sent in MCP initialize:
proofbench-probe - First seen 2026-10-30, last seen 2026-11-04 (UTC)
- Last 30 days: 6 days, 15 visits, 30 requests; interval about every 573 min; regular visitor
- Paths: /mcp 30
Remote MCP
| Stage | Attempts | OK |
|---|---|---|
| initialize | 1 | 1 |
| tools/list | 1 | 1 |
| tools/call | 0 | 0 |
OK means Lowdown returned a result without an error; it does not mean the visitor achieved its goal.
Requests per day (UTC)
| 2026-10-30 | 6 | |
| 2026-10-31 | 4 | |
| 2026-11-01 | 6 | |
| 2026-11-02 | 4 | |
| 2026-11-03 | 6 | |
| 2026-11-04 | 4 |
Updated hourly. Snapshot 4, generated 2026-11-04T21:54:00Z. Window 2026-10-05 to 2026-11-04 (UTC). MCP messages recorded since 2026-11-04; earlier periods have no record, not zero calls. Definitions and limits: agents.json.