Skip to content
Verified official

ProofMart MCP

v0.12.0 changelog · 3

io.github.proofmart/proofmart

One-stop claim verification for AI agents: verdicts with confidence, evidence, signed receipts.

transport:streamable-http tools:3

Target client

run in your project directory

claude mcp add --transport http proofmart https://proofmart.fly.dev/mcp

setup guides: Claude Code Claude Desktop Cursor VS Code Zed Windsurf Cline Gemini CLI Grok ChatGPT Claude.ai LangChain

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

verify_claim

verify claim

check_agent_conduct Read-only

check agent conduct

list_plans Read-only

list plans

All 3 tools, one page each

Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. Check the server's own documentation before granting access.