Index / other

ProofMart

io-github-proofmart-proofmart declares 3 capabilities across 3 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.

5/100 exposureLow exposure

Manifest recorded 2026-11-08 from tools/list on https://proofmart.fly.dev/mcp, published in the official MCP registry as io.github.ProofMart/proofmart 0.12.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 3 tools

3 of 3 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 3 tools

3 of 3 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 3 tools

3 of 3 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 3 tools

3 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
`verify_claim`	`read`	inferred
`check_agent_conduct`	`read`	declared
`list_plans`	`read`	declared

Record history

Earlier records for this server. A correction is added here, never written over the record it corrects.

Recorded	Exposure	Source
2026-10-28	4	tools/list on https://proofmart.fly.dev/mcp, published in the official MCP registry as io.github.ProofMart/proofmart 0.8.0

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.