Index / storage

SpecProof

ai-specproof-specproof-mcp declares 17 capabilities across 17 tools, with 1 critical issue.

27/100 exposureModerate

Manifest retrieved 2026-09-14 from tools/list on https://mcp.specproof.ai/, published in the official MCP registry as ai.specproof/specproof-mcp 1.0.0. Not verified by a maintainer.

Issues

These describe what this server's manifest declares. A product can provide controls that MCP has no way to express — token revocation, an admin console, audit logs — and this page cannot see them. The absence of a declaration is not evidence that a control is absent.

critical · no-revocation · All 17 tools

17 of 17 tools declare no way for the customer to switch them off once granted. This applies to every tool because MCP has no field in which to declare a revocation mechanism; the product may provide one outside MCP that a manifest cannot show.

high · no-expiry · All 17 tools

17 of 17 tools declare no expiry. This applies to every tool because MCP has no field in which to declare an expiry; the product may provide one outside MCP that a manifest cannot show.

high · no-audit-trail · All 17 tools

17 of 17 tools declare no record of their actions that the customer can read. This applies to every tool because MCP has no field in which to declare an audit requirement; the product may provide one outside MCP that a manifest cannot show.

low · uncapped-read · All 17 tools

17 tools can read data and declare no limit.

Declared capabilities

How each tool was read. declared means the server's own annotation said so — self-reported and unverified. inferred is from the tool's name. assumed means nothing indicated either way.

Tool	Read as	Basis
`get_spec_references`	`read`	inferred
`get_spec_dependents`	`read`	inferred
`get_relationship_graph`	`read`	inferred
`get_spec_metadata`	`read`	inferred
`get_most_referenced_specs`	`read`	inferred
`get_series_overview`	`read`	inferred
`search_specifications`	`read`	declared
`semantic_search`	`read`	declared
`get_document_content`	`read`	declared
`list_documents`	`read`	declared
`get_requirements`	`read`	declared
`generate_tests`	`read`	declared
`diff_spec_versions`	`read`	declared
`get_schema_definitions`	`read`	declared
`get_rfc_lineage`	`read`	declared
`build_cross_spec_suite`	`read`	declared
`get_database_stats`	`read`	declared

Answering this question about your own agent? Media Yard LLC runs a fixed-scope Agent Permission Audit: the same reading applied to your agent surface, delivered as a dated artifact you can hand to a customer's security review. See what it includes and costs, or write to support@leashkit.com. Buying one does not change this page, its score or its place in the index — see Independence.

Maintain this server? If this page misreads your manifest, or your server has changed, submit its current tools/list response and it will be re-scored and dated. Corrections are published alongside the original, not in place of it.

Scores describe capability as declared in each server's own tools/list response, on the date shown. MCP tool annotations are written by the server being described and are not verified. A score is not a certification, not a penetration test, and not a statement that software is safe or unsafe. Methodology. Generated 2026-09-14.

The Leash Index is not affiliated with, sponsored by or endorsed by the owners of the servers it lists; product names are used only to identify them. A maintainer verified listing means its maintainer submitted the manifest, not that they endorse this index. No one can pay for a score, a ranking, a listing or a removal.

Operated by Media Yard LLC. Terms · Privacy · Independence