ai.specproof/specproof-mcp

Est-ce que ai.specproof/specproof-mcp est sûr ?

Au dernier audit MCP Hub, le serveur MCP « ai.specproof/specproof-mcp » est classé « Non encore testé ». Référencé dans l'annuaire. Seul le pentest comportemental fait foi, et il n'a pas encore été exécuté sur ce serveur. Le verdict est réévalué en continu ; consultez la fiche pour l'état à jour.

Méthode : MCP Hub analyse la description de chaque outil (couche 1) et, pour le verdict fort, exécute le serveur dans une micro-VM isolée avec leurres et réseau bloqué (couche 2). On publie des noms et des compteurs, jamais le contenu brut renvoyé par un outil.

Les 17 outils

• build_cross_spec_suite≈ 346 tokens

  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 requirement_ids to generate_tests. Args: spec_base: The anchor spec, e.g. "23502" or "38331" keyword: The procedure/topic, e.g. "registration", "handover", "authentication" include_references: Also pull matching clauses from specs this one references (default: True) limit: Max requirements in the plan (default: 20, max: 50)

  Paramètres, retour & exemple (4)

  Paramètres

  • limit · integer · optionnel
  • keyword · string · requis
  • spec_base · string · requis
  • include_references · boolean · optionnel

  Exemple d'appel

  {"name": "build_cross_spec_suite", "arguments": {"keyword": "texte", "spec_base": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• diff_spec_versions≈ 400 tokens

  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 without the version, e.g. "38331" or "23501" from_version: Older version label, e.g. "j20" (default: the second-newest in the corpus) to_version: Newer version label, e.g. "j30" (default: the newest in the corpus) obligation: Only report changes at this strength — "must", "must_not", "should", "should_not", "may" limit: Max requirements to list per bucket (default: 25)

  Paramètres, retour & exemple (5)

  Paramètres

  • limit · integer · optionnel
  • spec_base · string · requis
  • obligation · ? · optionnel
  • to_version · ? · optionnel
  • from_version · ? · optionnel

  Exemple d'appel

  {"name": "diff_spec_versions", "arguments": {"spec_base": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• generate_tests≈ 306 tokens

  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 enforces. If the requirement is not testable (boilerplate, scope text), the generator abstains rather than inventing a test. Args: requirement_id: The requirement's id, as shown by get_requirements target: "pytest" for a runnable Python test module, or "gherkin" for a reviewable .feature file (default: pytest)

  Paramètres, retour & exemple (2)

  Paramètres

  • target · string · optionnel
  • requirement_id · integer · requis

  Exemple d'appel

  {"name": "generate_tests", "arguments": {"requirement_id": 1}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• get_database_stats≈ 124 tokens

  Get comprehensive database and system statistics.

  Paramètres, retour & exemple (0)

  Exemple d'appel

  {"name": "get_database_stats", "arguments": {}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• get_document_content≈ 247 tokens

  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)

  Paramètres, retour & exemple (3)

  Paramètres

  • section · ? · optionnel
  • filename · string · requis
  • page_range · ? · optionnel

  Exemple d'appel

  {"name": "get_document_content", "arguments": {"filename": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• get_most_referenced_specs≈ 213 tokens

  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)

  Paramètres, retour & exemple (3)

  Paramètres

  • limit · integer · optionnel
  • series · ? · optionnel
  • doc_type · ? · optionnel

  Exemple d'appel

  {"name": "get_most_referenced_specs", "arguments": {"limit": 1, "series": "texte", "doc_type": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• get_relationship_graph≈ 278 tokens

  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, target, reference type, and count. Args: spec_number: Center specification number depth: Number of hops to expand (1-3, default: 1) reference_type: Filter by type - "normative", "informative" (optional)

  Paramètres, retour & exemple (3)

  Paramètres

  • depth · integer · optionnel
  • spec_number · string · requis
  • reference_type · ? · optionnel

  Exemple d'appel

  {"name": "get_relationship_graph", "arguments": {"spec_number": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• get_requirements≈ 335 tokens

  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) obligation: Filter by strength - "must", "must_not", "should", "should_not", or "may" (optional) search: Keyword to search within the requirement text (optional) limit: Maximum number of requirements to return (default: 30, max: 100)

  Paramètres, retour & exemple (4)

  Paramètres

  • limit · integer · optionnel
  • search · ? · optionnel
  • obligation · ? · optionnel
  • spec_number · ? · optionnel

  Exemple d'appel

  {"name": "get_requirements", "arguments": {"limit": 1, "search": "texte", "obligation": "texte", "spec_number": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• get_rfc_lineage≈ 214 tokens

  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 depend on has been superseded. Args: rfc: The RFC, e.g. "7231", "rfc7231" or "RFC 7231"

  Paramètres, retour & exemple (1)

  Paramètres

  • rfc · string · requis

  Exemple d'appel

  {"name": "get_rfc_lineage", "arguments": {"rfc": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• get_schema_definitions≈ 384 tokens

  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 about a message's *structure* — field names, types, ranges, optionality. The definition is returned verbatim from the spec, so it is exact rather than recalled. Args: name: Type or schema name, e.g. "RRCSetup", "MeasConfig", "SmContextCreateData" spec_number: Restrict to a spec, e.g. "38.331" kind: "asn1", "openapi" or "json_schema" limit: Maximum definitions to return (default: 10, max: 25)

  Paramètres, retour & exemple (4)

  Paramètres

  • kind · ? · optionnel
  • name · ? · optionnel
  • limit · integer · optionnel
  • spec_number · ? · optionnel

  Exemple d'appel

  {"name": "get_schema_definitions", "arguments": {"kind": "texte", "name": "texte", "limit": 1, "spec_number": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• get_series_overview≈ 106 tokens

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

  Paramètres, retour & exemple (0)

  Exemple d'appel

  {"name": "get_series_overview", "arguments": {}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• get_spec_dependents≈ 172 tokens

  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)

  Paramètres, retour & exemple (2)

  Paramètres

  • max_results · integer · optionnel
  • spec_number · string · requis

  Exemple d'appel

  {"name": "get_spec_dependents", "arguments": {"spec_number": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• get_spec_metadata≈ 296 tokens

  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: Filter by document class - "TS" or "TR" limit: Maximum results (default: 50)

  Paramètres, retour & exemple (5)

  Paramètres

  • limit · integer · optionnel
  • series · ? · optionnel
  • doc_class · ? · optionnel
  • spec_number · ? · optionnel
  • working_group · ? · optionnel

  Exemple d'appel

  {"name": "get_spec_metadata", "arguments": {"limit": 1, "series": "texte", "doc_class": "texte", "spec_number": "texte", "working_group": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• get_spec_references≈ 190 tokens

  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)

  Paramètres, retour & exemple (2)

  Paramètres

  • spec_number · string · requis
  • reference_type · ? · optionnel

  Exemple d'appel

  {"name": "get_spec_references", "arguments": {"spec_number": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• list_documents≈ 250 tokens

  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: 100)

  Paramètres, retour & exemple (3)

  Paramètres

  • limit · integer · optionnel
  • doc_type · ? · optionnel
  • search_pattern · ? · optionnel

  Exemple d'appel

  {"name": "list_documents", "arguments": {"limit": 1, "doc_type": "texte", "search_pattern": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• search_specifications≈ 300 tokens

  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 specification number (optional) max_results: Maximum number of results to return (default: 10, max: 50)

  Paramètres, retour & exemple (4)

  Paramètres

  • query · string · requis
  • doc_type · ? · optionnel
  • max_results · integer · optionnel
  • spec_number · ? · optionnel

  Exemple d'appel

  {"name": "search_specifications", "arguments": {"query": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

• semantic_search≈ 297 tokens

  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 threshold 0.0-1.0 (default: 0.3) index_type: FAISS index type - "hnsw", "ivf", or "flat" (optional, auto-selected)

  Paramètres, retour & exemple (4)

  Paramètres

  • query · string · requis
  • index_type · ? · optionnel
  • max_results · integer · optionnel
  • similarity_threshold · number · optionnel

  Exemple d'appel

  {"name": "semantic_search", "arguments": {"query": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}], "structuredContent": {"result": "texte"}}

C'est votre serveur ?

Revendiquez-le sur l'espace créateur (preuve GitHub, domaine ou npm) pour afficher le badge « propriétaire vérifié » et lancer un pentest comportemental à la demande afin d'obtenir le badge « Vérifié ».

Créer un compte / revendiquer →

Source

https://mcp.specproof.ai/