Index / storage

SpecProof

ai-specproof-specproof-mcp declares 17 capabilities across 17 tools, with 1 critical issue. One of them, no-revocation, is recorded for every server in the index because MCP has no field in which to declare a way to switch a tool off; a missing declaration is not evidence that the control is missing.

27/100 exposureModerate

Manifest recorded 2026-10-11 from tools/list on https://mcp.specproof.ai/, published in the official MCP registry as ai.specproof/specproof-mcp 1.0.0. The date changes only when the manifest does. 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? The self-serve stack report applies the same reading to your own stack or server and gives you a dated document you can hand to a customer's security review. It is generated in your browser, with nobody to wait for. 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.