Saltar al contenido
Logo de SpecProof

Servidor MCP de SpecProof

Qué servidores MCP son de SpecProof, del registro oficial y encontrados preguntando a su propio dominio, si responden y qué ofrecen. Un programa comprobó cada dato; nada está copiado de la página del producto.

leído el 2026-10-23

← Volver a SpecProof

De quién es el servidor
  • Nombre en el registroai.specproof/specproof-mcpverificado en el registro MCP

El nombre en el registro está bajo specproof.ai. El registro solo permite usar ese espacio de nombres a quien demuestra control del dominio por DNS o HTTP.

Cuando le preguntamoscomprobado el 2026-10-23
  • Estadorespondecomprobado el 2026-10-23
  • Herramientas17
  • El servidor se llama3gpp-spec-server
  • Versión del servidor1.30.0
  • Versión del protocolo2025-06-18

El 2026-10-23 el servidor respondió a initialize y tools/list sin iniciar sesión. Primera respuesta en 191 ms.

¿Debe un agente conectarlo?Aún no está claro
  • Aún no se ha juzgado si sus herramientas hacen el trabajo del producto.
  • Comprobado 4 de los 7 días necesarios para juzgar su fiabilidad.

Una vez conectado

  • Para "search 3GPP, IETF and MPEG specifications by meaning", la primera llamada probable es semantic_search.
  • Parámetros sin tipo o sin descripción en 15 de 17 herramientas: revisa los argumentos antes de llamar.

Lo dicen reglas a partir de las mediciones de arriba. La primera llamada probable la elige un modelo de la lista de herramientas; lee su descripción antes de fiarte.

Medido cada díacomprobaciones diarias: 4, la primera el 2026-10-24
  • Nota INITE MCPtras una semanala nota necesita 7 comprobaciones diarias: 4 hasta ahora
  • Respondiómidiendo4 de las 7 comprobaciones diarias necesarias para mostrar el porcentaje
  • Mediana de la primera respuesta186 ms
  • Espacio en el contexto del agente≈ 3237 tokenslas definiciones de todas sus herramientas (17), que el agente lleva en cada turno
  • Definiciones de herramientasB · 79 de 100
  • Resultados tipados17 de 17 herramientasdeclaran outputSchema: el resultado llega tipado y se lee de una vez
  • Parámetros sin descripción: en 15 de 17
  • Sin indicar si solo lee o puede destruir: 6 de 17

Qué puede hacer un agente con él

  • no está claro · map patent claim elements to standard clauses
  • no está claro · check quoted standard passages against source text
  • puede · search 3GPP, IETF and MPEG specifications by meaning

Cada caso de uso del producto se le preguntó a Jev junto con la lista de herramientas de este servidor: ¿puede un agente hacerlo con estas herramientas?

Conviene revisar

Ninguna de las cinco señales de alerta en estas definiciones.

Un programa comprueba el servidor una vez al día: initialize y tools/list, sin modelo. Los tokens son la longitud de las definiciones, a unos cuatro caracteres por token. La nota promedia seis comprobaciones del nombre, la descripción, el esquema y las anotaciones de cada herramienta; dice lo bien descritas que están, no si funcionan. La nota pondera solo lo medido: si responde (25%), si hace el trabajo del producto (25%), definiciones (20%), contexto (10%), uso (10%) y lo fácil que es conectarse (10%). Lo que no se midió queda fuera, y una instrucción oculta limita la nota a 40. El estado de los servidores MCP de los proveedores: método y números →

Herramientas que ofrece17 herramientas · leído el 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.

Cómo conectar

Añade el servidor a la configuración de tu cliente MCP. Claude Desktop, Cursor y la mayoría de los demás clientes leen este formato:

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

Añadirlo

Claude Code, en una terminal

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

Añadir a CursorAñadir a VS Code

claude.ai, ChatGPT y otros clientes: añade https://mcp.specproof.ai/ como conector personalizado en los ajustes.

Cada línea es algo que un programa encontró al buscar: la entrada del registro, la respuesta del propio servidor, una especificación que se puede leer. Si falta una línea, es que no la encontramos, no que no exista.