ai.specproof/specproof-mcp
SpecProof
SpecProof: Search standards specs with MCP-ready precision.
timeout probed 2026-10-15
fetch failed | Connect Timeout Error (attempted address: mcp.specproof.ai:443, timeout: 10000ms) | UND_ERR_CONNECT_TIMEOUT
- Endpoint
- https://mcp.specproof.ai/ (streamable-http)
- Host
- mcp.specproof.ai
- Repository
- https://github.com/ibouazizi/specproof.git
- Website
- https://specproof.ai
- Registry
- active, updated 2026-02-01 · registry entry
- Reachable
- 7 of the last 7 probes
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-10 09:57 | alive | 1.4 s | 17 | 5.4k | 3.1k |
| 2026-10-05 12:35 | alive | 228 ms | 17 | 5.4k | 3.1k |
| 2026-10-05 00:06 | alive | 435 ms | 17 | 3.1k | |
| 2026-10-04 09:52 | alive | 1.6 s | 17 | 3.1k | |
| 2026-10-04 07:46 | alive | 371 ms | 17 | 3.1k | |
| 2026-10-03 20:26 | alive | 683 ms | 17 | 3.1k | |
| 2026-10-03 17:45 | alive | 716 ms | 17 | 3.1k |
Badge and feed
[](https://mcpcost.ulehla.dev/s/ai.specproof/specproof-mcp)
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.