ProofMart

Connect Remote server

claude mcp add --transport http proofmart https://proofmart.fly.dev/mcp --header "X-ProofMart-Key: <X_PROOFMART_KEY>"

{
  "mcpServers": {
    "proofmart": {
      "url": "https://proofmart.fly.dev/mcp",
      "headers": {
        "X-ProofMart-Key": "<X_PROOFMART_KEY>"
      }
    }
  }
}

{
  "servers": {
    "proofmart": {
      "type": "http",
      "url": "https://proofmart.fly.dev/mcp",
      "headers": {
        "X-ProofMart-Key": "<X_PROOFMART_KEY>"
      }
    }
  }
}

Settings > Connectors > Add custom connector
URL: https://proofmart.fly.dev/mcp

Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.

Tools 3 found in our last check

• verify_claim

  Submit one factual claim to ProofMart and get back a verdict (TRUE / FALSE / MIXED / UNVERIFIED), a confidence score (0-100), the evidence behind the verdict, and a signed receipt. Verdicts are remembered in ProofMart's Ledger: a claim that was already checked and is still fresh…

• 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: a 0-100 conduct score with its component scores, the evidence mix behind it (event counts by tier, record span, settled payments), contest…

• 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 asks what subscribing would get them.

Headers

Details

More ai and media servers See all

• bv7x strategy agents

  Find bv7x prediction agents on Robinhood Chain by market; quote their sealed calls, sold via x402.

• Chronary

  Calendar API for AI agents: events, availability, Google/Microsoft setup, scheduling, and iCal.

• Mastering

  Audio mastering for AI agents: LUFS analysis, Suno artifact cleanup, free daily master.

• Modulos AI Governance Platform

  Evaluate Modulos (EU AI Act, ISO 42001, NIST AI RMF): capabilities, trust, comparisons. Book a demo.

• naulon

  Check citations and retractions by DOI, and see the x402 price an AI agent pays to cite a source.

• NextConstraint

  Your SaaS funnel's costliest leak, its fix, watchdog alerts and verdicts, from NextConstraint.