{"serverId":"mcp-registry/ai.specproof/specproof-mcp","tools":[{"name":"get_most_referenced_specs","fixed":{"name":"get_most_referenced_specs","description":"Get the most referenced (most important) specifications ranked by incoming reference count.\n\n        Args:\n            doc_type: Filter by \"3gpp\" or \"ietf\"\n            series: Filter by series number\n            limit: Maximum results (default: 20)\n        ","inputSchema":{"type":"object","title":"get_most_referenced_specsArguments","properties":{"limit":{"type":"integer","title":"Limit","default":20},"series":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Series","default":null},"doc_type":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Doc Type","default":null}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":180,"tokensAfter":180},{"name":"get_relationship_graph","fixed":{"name":"get_relationship_graph","description":"Get a relationship graph centered on a specification, expanding N hops.\n\n        Returns JSON with nodes and edges suitable for graph visualization.\n        Each node includes title, series, working group, and reference counts.\n        Each edge includes source, target, reference type, and count.\n\n        Args:\n            spec_number: Center specification number\n            depth: Number of hops to expand (1-3, default: 1)\n            reference_type: Filter by type - \"normative\", \"informative\" ","inputSchema":{"type":"object","title":"get_relationship_graphArguments","required":["spec_number"],"properties":{"depth":{"type":"integer","title":"Depth","default":1},"spec_number":{"type":"string","title":"Spec Number"},"reference_type":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Reference Type","default":null}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":248,"tokensAfter":248},{"name":"get_series_overview","fixed":{"name":"get_series_overview","description":"Get an overview of all specification series with document counts, reference statistics, and working group assignments.","inputSchema":{"type":"object","title":"get_series_overviewArguments","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":70,"tokensAfter":70},{"name":"get_spec_dependents","fixed":{"name":"get_spec_dependents","description":"Get all specifications that reference a given spec (reverse lookup).\n\n        Args:\n            spec_number: Specification number to find dependents of\n            max_results: Maximum results (default: 50)\n        ","inputSchema":{"type":"object","title":"get_spec_dependentsArguments","required":["spec_number"],"properties":{"max_results":{"type":"integer","title":"Max Results","default":50},"spec_number":{"type":"string","title":"Spec Number"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":140,"tokensAfter":140},{"name":"get_spec_metadata","fixed":{"name":"get_spec_metadata","description":"Get enriched metadata for specifications with filtering.\n\n        Args:\n            spec_number: Filter by spec number (partial match)\n            series: Filter by series (e.g., \"26\" for 26.xxx codecs)\n            working_group: Filter by working group (e.g., \"SA4\")\n            doc_class: Filter by document class - \"TS\" or \"TR\"\n            limit: Maximum results (default: 50)\n        ","inputSchema":{"type":"object","title":"get_spec_metadataArguments","properties":{"limit":{"type":"integer","title":"Limit","default":50},"series":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Series","default":null},"doc_class":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Doc Class","default":null},"spec_number":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Spec Number","default":null},"working_group":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Working Group","default":null}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":269,"tokensAfter":269},{"name":"get_spec_references","fixed":{"name":"get_spec_references","description":"Get all specifications referenced by a given spec.\n\n        Args:\n            spec_number: Specification number (e.g., \"23.501\", \"26.230\")\n            reference_type: Filter by type - \"normative\", \"informative\", \"inline\" (optional)\n        ","inputSchema":{"type":"object","title":"get_spec_referencesArguments","required":["spec_number"],"properties":{"spec_number":{"type":"string","title":"Spec Number"},"reference_type":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Reference Type","default":null}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":159,"tokensAfter":159}],"toolsChanged":6,"tokensSaved":0,"todo":[{"tool":"build_cross_spec_suite","params":["limit","keyword","spec_base","include_references"]},{"tool":"diff_spec_versions","params":["limit","spec_base","obligation","to_version","from_version"]},{"tool":"generate_tests","params":["target","requirement_id"]},{"tool":"get_document_content","params":["section","filename","page_range"]},{"tool":"get_most_referenced_specs","params":["limit","series","doc_type"]},{"tool":"get_relationship_graph","params":["depth","spec_number","reference_type"]},{"tool":"get_requirements","params":["limit","search","obligation","spec_number"]},{"tool":"get_rfc_lineage","params":["rfc"]},{"tool":"get_schema_definitions","params":["kind","name","limit","spec_number"]},{"tool":"get_spec_dependents","params":["max_results","spec_number"]},{"tool":"get_spec_metadata","params":["limit","series","doc_class","spec_number","working_group"]},{"tool":"get_spec_references","params":["spec_number","reference_type"]},{"tool":"list_documents","params":["limit","doc_type","search_pattern"]},{"tool":"search_specifications","params":["query","doc_type","max_results","spec_number"]},{"tool":"semantic_search","params":["query","index_type","max_results","similarity_threshold"]}],"note":"Deterministic fixes. Changes marked verify need a human look before shipping (renames, inferred annotations, inferred types, removed text). Parameter descriptions in `todo` need to be written by someone who knows the API."}