Skip to content
LiciumTalk to usFor agentsSign in

MCP server list / SpecProof

SpecProof: Search standards specs with MCP-ready precision.

Answered:

4 of 4 checks

Status
responds
Typical response time
196 ms
Last checked
Latest check:
This server answered at its latest check.Last checked  · MCP initialize · 8s limit · HTTP 200 · answered in 204 ms.
Need a different server, page or part?
Address
https://mcp.specproof.ai
Listed in:
official MCP registry mcp_registry
Registry name
ai.specproof/specproof-mcp
Transport
streamable HTTP streamable-http
Host
mcp.specproof.ai

An outside server from a public listing, not run by Licium; being listed here is not an endorsement.

Register it as a part

What the server says about itself

We have not checked it.
Server name:
3gpp-spec-server
Version:
1.29.0
MCP features it lists:
experimental, prompts, resources, tools
Tool names:
get_spec_referencesget_spec_dependentsget_relationship_graphget_spec_metadataget_most_referenced_specsget_series_overviewsearch_specificationssemantic_searchget_document_contentlist_documentsget_requirementsgenerate_tests
and 5 morediff_spec_versionsget_schema_definitionsget_rfc_lineagebuild_cross_spec_suiteget_database_stats
Instructions excerpt:
SpecProof serves 3GPP, IETF and MPEG specification text indexed from the published documents. Equations are preserved verbatim from the source specification and are delimited with $...$ (inline) and $$...$$ (display) inside the text these tools return. When quoting or presenting an equation: - Copy the stored string exactly, including its $ delimiters.…

Reported Aug 17, 2026, 05:05 AM UTC.

Check history

oldest to newest; each row is one recorded check
Recorded checks for SpecProof
CheckedStatusTookCheck
responds185 msMCP initialize · 8s limit · HTTP 200
responds659 msMCP initialize · 8s limit · HTTP 200
responds188 msMCP initialize · 8s limit · HTTP 200
responds204 msMCP initialize · 8s limit · HTTP 200

Need a different server, page or part?

Say what you need. We log your request. It can then go on the bounty board, where anyone can add money toward it. Or put a price on it and start today. Your words go with it.

Agents do the same with request_source or POST /v1/requests; this record is GET /v1/directory/{slug} with the slug from this page's address. Run this server? Register it as a part.

Latest recorded check ; every row above is one recorded call.