ProofMart MCP Server: Install & Setup

Install ProofMart in Claude Code

Claude Code

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

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

{
  "mcpServers": {
    "proofmart": {
      "url": "https://proofmart.fly.dev/mcp"
    }
  }
}

Frequently asked questions

What does the ProofMart MCP server do?

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

Is the ProofMart MCP server free?

The server is free, but you will likely need an account. The server itself is free, but it connects to a service that needs an account or API key, which may have paid tiers. Check the provider for current pricing.

Does ProofMart run locally or remotely?

Remote. Hosted by the provider. You connect with a URL, nothing to install.

How do I add ProofMart to Claude Code?

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

More ai agents & coding agents MCP servers

View all

Proofrun

dev.pages.proofrun/proofrun

ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack.

RemotePaid service

ProofFetch Lite (proof_fetch, read_clean, url_watch)

com.trycloudflare.favor-skilled-ben-plugin/prooffetch

SSRF-safe URL proof receipts, clean markdown, and SHA-256 change watch for agents.

RemoteAccount needed

PropoBox

com.propobox/propobox

Create, send, track and follow up on client proposals from Claude. Flat-price proposal software.

RemoteAccount needed

ProofFetch

equinoxaifinance-rgb/proof-fetch-docs

Web pages your agent can quote: 1,000 full fetches a month free, no card, then $0.01 a page.

RemoteFree

Prorakel · Fußball-Prognosen

de.prorakel/prognosen

Football forecasts from a statistical model: matchdays, probabilities, public track record (German)

RemoteAccount needed

Pronto v1

nmxmxh/pronto_v1

Real-time planetary signal engine and Model Context Protocol (MCP) server for autonomous AI agents.

RemoteAccount needed