# SpecProof (ai.specproof/specproof-mcp): tool descriptions scored

- tools/list taken: 2026-11-02 (UTC)
- From: [Official MCP Registry](https://registry.modelcontextprotocol.io/v0/servers/ai.specproof%2Fspecproof-mcp/versions/latest)
- Connected to: https://mcp.specproof.ai/
- Homepage: https://specproof.ai/
- Repository: https://github.com/ibouazizi/specproof.git
- Scoring rules: v2
- Tools: 17
- Average: 48.5 / 100 (Cloudy)
- Near-identical pairs: 0

This page shows how SpecProof (ai.specproof/specproof-mcp)'s tool descriptions scored, the issues found and the names of its tools and parameters. The descriptions are the server's own: read them where the copy came from.

Forecall asked the URL this server lists in the official MCP Registry for its tools/list once, on the date above, without calling any tool. The server may have changed since.

## Across the server

No server-wide issues.

## Tools

- `get_spec_dependents`: 31 / 100
  - Major: Says nothing about when to use it, or when not to.
  - Major: Arguments without a description: spec_number, max_results.
  - Minor: String arguments with no constraint or example: spec_number.
- `get_spec_references`: 33 / 100
  - Major: Says nothing about when to use it, or when not to.
  - Major: Arguments without a description: spec_number, reference_type.
  - Minor: String arguments with no constraint or example: spec_number.
  - Minor: No constraints, side effects, auth or rate limits described, and no annotations.
- `get_most_referenced_specs`: 41 / 100
  - Major: Says nothing about when to use it, or when not to.
  - Major: Arguments without a description: doc_type, series, limit.
  - Minor: No `required` list, so every argument is optional.
- `get_spec_metadata`: 41 / 100
  - Major: Says nothing about when to use it, or when not to.
  - Major: Arguments without a description: spec_number, series, working_group, doc_class, limit.
  - Minor: No `required` list, so every argument is optional.
- `get_document_content`: 43 / 100
  - Major: Says nothing about when to use it, or when not to.
  - Major: Arguments without a description: filename, page_range, section.
  - Minor: String arguments with no constraint or example: filename.
- `get_relationship_graph`: 43 / 100
  - Major: Says nothing about when to use it, or when not to.
  - Major: Arguments without a description: spec_number, depth, reference_type.
  - Minor: String arguments with no constraint or example: spec_number.
  - Minor: No constraints, side effects, auth or rate limits described, and no annotations.
- `get_database_stats`: 46 / 100
  - Major: The description only restates the name (6 words).
  - Major: The description is too short (6 words).
  - Major: Says nothing about when to use it, or when not to.
- `list_documents`: 48 / 100
  - Major: Says nothing about when to use it, or when not to.
  - Major: Arguments without a description: doc_type, search_pattern, limit.
  - Minor: No `required` list, so every argument is optional.
- `get_rfc_lineage`: 50 / 100
  - Major: Arguments without a description: rfc.
  - Minor: String arguments with no constraint or example: rfc.
- `get_series_overview`: 50 / 100
  - Major: Says nothing about when to use it, or when not to.
  - Minor: No constraints, side effects, auth or rate limits described, and no annotations.
- `semantic_search`: 50 / 100
  - Major: Says nothing about when to use it, or when not to.
  - Major: Arguments without a description: query, max_results, similarity_threshold, index_type.
  - Minor: String arguments with no constraint or example: query.
- `generate_tests`: 53 / 100
  - Major: Arguments without a description: requirement_id, target.
  - Minor: Required identifiers whose description does not say where the value comes from: requirement_id. Name the tool or the place that returns it, or models look it up first.
- `search_specifications`: 53 / 100
  - Major: Says nothing about when to use it, or when not to.
  - Major: Arguments without a description: query, doc_type, spec_number, max_results.
  - Minor: String arguments with no constraint or example: query.
- `build_cross_spec_suite`: 55 / 100
  - Major: Arguments without a description: spec_base, keyword, include_references, limit.
  - Minor: String arguments with no constraint or example: spec_base, keyword.
  - Minor: The meaning of the boolean argument include_references is unclear.
- `diff_spec_versions`: 56 / 100
  - Major: Arguments without a description: spec_base, from_version, to_version, obligation, limit.
  - Minor: String arguments with no constraint or example: spec_base.
- `get_requirements`: 65 / 100
  - Major: Arguments without a description: spec_number, obligation, search, limit.
  - Minor: No `required` list, so every argument is optional.
- `get_schema_definitions`: 67 / 100
  - Major: Arguments without a description: name, spec_number, kind, limit.
  - Minor: No `required` list, so every argument is optional.

Is your server listed here and you would rather it were not? Email support@forecall.dev, and we will take it off within 7 days.

[All scored servers](https://forecall.dev/en/servers)