ProofMart for Claude.ai

io.github.proofmart/proofmart

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

client:Claude.ai transport:streamable-http tools:3

Install ProofMart in Claude.ai

Settings → Connectors → Add custom connector

https://proofmart.fly.dev/mcp

Claude on the web takes a remote URL and completes OAuth in the browser. For a packaged server use Claude Desktop or Claude Code instead. Claude.ai docs

What Claude.ai can do once it is connected

verify_claim
check_agent_conduct
list_plans

ProofMart in other clients

Claude Code
Claude Desktop
Cursor
VS Code
Zed
Windsurf
Cline
Gemini CLI
Grok
ChatGPT
LangChain

ProofMart MCP server