One-stop claim verification for AI agents: verdicts with confidence, evidence, signed receipts. Connect the official ProofMart MCP server to Claude, ChatGPT, or Cursor through gate — one gateway URL, no config files, security-checked.
Free to start · No credit card · No hosting needed
Pick your client. Copy, paste, done — or let gate handle sign-ins and policies for you.
claude mcp add --transport http proofmart https://proofmart.fly.dev/mcpRun in your terminal, then restart Claude Code.
ProofMart · https://proofmart.fly.dev/mcp
Real prompts you can type the moment it's connected — no setup, no docs to read.
“Use “verify_claim”: Submit one factual claim to ProofMart and get back a verdict (TRUE / FALSE / MIXED / UNVERIFIED), a confidence score (0-100), the evidence b.”
“Use “check_agent_conduct”: Ask the Conduct Feed — a separate business from ProofMart, whose records are built from ProofMart check receipts — how an agent has behaved:.”
“Use “list_plans”: The ProofMart menu: each plan's monthly check bundle and draft price. Free to call — no key needed, nothing metered. Useful when an owner as.”
Every server in the gate directory has to pass the same four checks before your AI can touch it. Here's how ProofMart holds up.
Operated by ProofMart (facebook.com) at its documented MCP endpoint — not a third-party mirror or community re-host.
This server only exposes public data — no account and no credentials are involved when you connect.
gate checks every tool for prompt injection, hidden instructions, data-exfiltration hints, and over-broad permissions before the server is available through your gateway.
If ProofMart adds or changes tools later, gate re-scans and alerts you — before your AI acts on the change.
Add one gateway URL to Claude, ChatGPT, or any MCP client. One-time setup, about two minutes.
Choose ProofMart in the gate directory. No sign-in needed.
ProofMart's tools are live in every AI client you've connected — with rules and logging built in.
Free to start · No credit card · No hosting needed
Fetched live from the official endpoint and re-checked daily by gate — not marketing copy.
verify_claim — Submit one factual claim to ProofMart and get back a verdict (TRUE / FALSE / MIXED / UNVERIFIED), a confidence score (0-100), the evidence b
check_agent_conduct — Ask the Conduct Feed — a separate business from ProofMart, whose records are built from ProofMart check receipts — how an agent has behaved:
list_plans — The ProofMart menu: each plan's monthly check bundle and draft price. Free to call — no key needed, nothing metered. Useful when an owner as
https://proofmart.fly.dev/mcpYes — ProofMart operates its own remote MCP server at proofmart.fly.dev. gate connects you to that official endpoint and adds security scanning, per-tool access rules, and an activity log on top.
Add gate's gateway URL to your AI client once, then pick ProofMart in the directory. No account or sign-in is needed. From then on, ProofMart's tools are available in every client you've connected to gate.
No. ProofMart runs the server, and gate is fully managed. You just connect one URL — there's nothing to install, deploy, or maintain.
It's the vendor's official endpoint, and gate scans its tools for prompt injection and hidden instructions before it goes live, re-checks it whenever it changes, and lets you allow, block, or require approval for every single tool.
Yes — you can get started with gate for free and connect ProofMart in minutes. No credit card required.
Every server below works through the same gateway URL — connect once, add tools anytime.
Set up ProofMart in: Claude · Claude Code · ChatGPT · Cursor · VS Code