ai.specproof/specproof-mcp
SpecProof
ai.specproof/specproof-mcp costs 3 099 tokens of context per session. It has 17 tool definitions. That is 1.5 % of a 200k window. Measured 2026-10-03.
SpecProof: Search standards specs with MCP-ready precision.
alive probed 2026-10-03 · HTTP 200
17tools
3.1ktokens for the tool definitions
1.5 %of a 200k context window
683 msto initialize
76 msto list tools
- Endpoint
- https://mcp.specproof.ai/ (streamable-http)
- Host
- mcp.specproof.ai
- Protocol
- 2025-11-25
- Reports itself as
- 3gpp-spec-server 1.29.0
- Capabilities
- experimental, prompts, resources, tools
- Instructions
- 1 326 characters
- Repository
- https://github.com/ibouazizi/specproof.git
- Website
- https://specproof.ai
- Registry
- active, updated 2026-02-01 · registry entry
- Reachable
- 2 of the last 2 probes
Most expensive tools
| Tool | Tokens | Share of this server |
|---|---|---|
| diff_spec_versions | 313 | 10 % |
| get_schema_definitions | 306 | 10 % |
| get_requirements | 252 | 8 % |
| get_spec_metadata | 238 | 8 % |
| build_cross_spec_suite | 234 | 8 % |
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:26 | alive | 683 ms | 17 | 3.1k |
| 2026-10-03 17:45 | alive | 716 ms | 17 | 3.1k |
Badge
[](https://mcp-pulse.ulehla.dev/s/ai.specproof/specproof-mcp)