Ir para o conteúdo
Logo de SpecProof

Servidor MCP de SpecProof

Quais servidores MCP são de SpecProof, do registro oficial e encontrados perguntando ao próprio domínio, se respondem e o que oferecem. Um programa verificou cada item; nada foi copiado da página do produto.

lido em 2026-10-23

← Voltar para SpecProof

De quem é o servidor
  • Nome no registroai.specproof/specproof-mcpverificado no registro MCP

O nome no registro fica sob specproof.ai. O registro só libera esse espaço de nomes para quem prova controle do domínio por DNS ou HTTP.

Quando perguntamosverificado em 2026-10-23
  • Estadorespondeverificado em 2026-10-23
  • Ferramentas17
  • O servidor se chama3gpp-spec-server
  • Versão do servidor1.30.0
  • Versão do protocolo2025-06-18

Em 2026-10-23 o servidor respondeu a initialize e tools/list sem login. Primeira resposta em 191 ms.

Um agente deve conectá-loAinda não está claro
  • Ainda não avaliamos se as ferramentas fazem o trabalho do produto.
  • Verificado em 4 dos 7 dias necessários para julgar a confiabilidade.

Depois de conectar

  • Para "search 3GPP, IETF and MPEG specifications by meaning", a primeira chamada provável é semantic_search.
  • Parâmetros sem tipo ou descrição em 15 de 17 ferramentas: confira os argumentos antes de chamar.

Dito por regras a partir das medições acima. A primeira chamada provável é a escolha de um modelo na lista de ferramentas; leia a descrição antes de confiar nela.

Medido todo diaverificações diárias: 4, a primeira em 2026-10-24
  • Nota INITE MCPdepois de uma semanaa nota precisa de 7 verificações diárias: 4 até agora
  • Respondeumedindo4 das 7 verificações diárias necessárias para mostrar a porcentagem
  • Mediana da primeira resposta186 ms
  • Espaço no contexto do agente≈ 3.237 tokensas definições de todas as ferramentas (17), que o agente carrega a cada turno
  • Definições das ferramentasB · 79 de 100
  • Resultados tipados17 de 17 ferramentasdeclaram outputSchema: o resultado chega tipado e é lido de uma vez
  • Parâmetros sem descrição: em 15 de 17
  • Sem dizer se só lê ou se pode destruir: 6 de 17

O que um agente consegue fazer com ele

  • incerto · map patent claim elements to standard clauses
  • incerto · check quoted standard passages against source text
  • consegue · search 3GPP, IETF and MPEG specifications by meaning

Cada caso de uso do produto foi perguntado ao Jev junto com a lista de ferramentas deste servidor: um agente consegue fazer isso com essas ferramentas?

Vale conferir

Nenhum dos cinco sinais de alerta nestas definições.

Um programa verifica o servidor uma vez por dia: initialize e tools/list, sem modelo. Os tokens são o tamanho das definições, a cerca de quatro caracteres por token. A nota é a média de seis verificações do nome, da descrição, do esquema e das anotações de cada ferramenta; diz se as ferramentas estão bem descritas, não se funcionam. A nota pesa só o que foi medido: se responde (25%), se faz o trabalho do produto (25%), definições (20%), contexto (10%), uso (10%) e a facilidade de conectar (10%). Uma parte não medida fica de fora, e uma instrução oculta limita a nota a 40. O estado dos servidores MCP dos fornecedores: método e números →

Ferramentas que oferece17 ferramentas · lido em 2026-10-23
  • get_spec_references

    Get all specifications referenced by a given spec. Args: spec_number: Specification number (e.g., "23.501", "26.230") reference_type: Filter by type - "normative", "informative", "inline" (optional)

  • get_spec_dependents

    Get all specifications that reference a given spec (reverse lookup). Args: spec_number: Specification number to find dependents of max_results: Maximum results (default: 50)

  • get_relationship_graph

    Get a relationship graph centered on a specification, expanding N hops. Returns JSON with nodes and edges suitable for graph visualization. Each node includes title, series, working group, and reference counts. Each edge includes source…

  • get_spec_metadata

    Get enriched metadata for specifications with filtering. Args: spec_number: Filter by spec number (partial match) series: Filter by series (e.g., "26" for 26.xxx codecs) working_group: Filter by working group (e.g., "SA4") doc_class…

  • get_most_referenced_specs

    Get the most referenced (most important) specifications ranked by incoming reference count. Args: doc_type: Filter by "3gpp" or "ietf" series: Filter by series number limit: Maximum results (default: 20)

  • get_series_overview

    Get an overview of all specification series with document counts, reference statistics, and working group assignments.

  • search_specifications

    Search across 3GPP, IETF, and Multimedia specification documents using full-text search. Args: query: Search query terms (required) doc_type: Filter by document type - "3gpp", "ietf", or "mpeg" (optional) spec_number: Filter by…

  • semantic_search

    Perform semantic search using vector embeddings with FAISS acceleration. Args: query: Natural language search query (required) max_results: Maximum number of results to return (default: 5, max: 20) similarity_threshold: Minimum similarity…

  • get_document_content

    Get specific content from a specification document. Args: filename: Document filename (required) page_range: Page range like "10-15" or single page "20" (optional) section: Section title filter (optional)

  • list_documents

    List available specification documents. Args: doc_type: Filter by document type - "3gpp", "ietf", or "mpeg" (optional) search_pattern: Search pattern for spec number or title (optional) limit: Maximum number of results (default: 20, max…

  • get_requirements

    List normative requirements (RFC 2119 / BCP 14 "shall/should/may" statements) extracted from specifications, each cited back to its source clause. Args: spec_number: Filter by spec number, e.g. "23.501" or "RFC 9110" (optional)…

  • generate_tests

    Generate a cited, runnable conformance test that verifies one normative requirement. The test is grounded in the requirement sentence plus its surrounding clause from the corpus, and every test cites the spec, section and page it…

  • diff_spec_versions

    Diff two versions of a specification at the NORMATIVE level: which requirements were added, removed, or reworded. Not a textual diff — a clause that merely moved page or was recased counts as unchanged. Args: spec_base: Spec identity…

  • get_schema_definitions

    Look up formal, machine-checkable structure defined in the specifications: ASN.1 types (3GPP RRC/NAS message grammars) and JSON Schema / OpenAPI models (5G Service Based Interfaces). Prefer this over prose search when the question is…

  • get_rfc_lineage

    An RFC's revision history. RFCs are immutable — an RFC is never revised, it is obsoleted or updated by a *different* RFC — so this Obsoletes/Updates graph, not a version diff, IS its change history. Use it to find out whether an RFC you…

  • build_cross_spec_suite

    Assemble the normative requirements for one procedure across a spec AND the specs it normatively references — a procedure like registration or handover is never described in a single document. Returns a cited suite plan; feed the…

  • get_database_stats

    Get comprehensive database and system statistics.

Como conectar

Adicione o servidor à configuração do seu cliente MCP. Claude Desktop, Cursor e a maioria dos outros clientes leem este formato:

{
  "mcpServers": {
    "specproof-mcp": {
      "type": "http",
      "url": "https://mcp.specproof.ai/"
    }
  }
}

Adicionar

Claude Code, no terminal

claude mcp add --transport http specproof https://mcp.specproof.ai/

Adicionar ao CursorAdicionar ao VS Code

claude.ai, ChatGPT e outros clientes: adicione https://mcp.specproof.ai/ como conector personalizado nas configurações.

Cada linha é algo que um programa encontrou ao procurar: o registro, a resposta do próprio servidor, uma especificação que se lê. Linha ausente quer dizer que não encontramos, não que não exista.