MCP server

ProofMart

io.github.ProofMart/proofmart

Checked 25 Oct 2026, 20:29 UTC · It answered and asked for a sign-in

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

Needs a sign-in or key

https://proofmart.fly.dev/mcp

At a glance

Type: MCP server
Publisher: Not verified
Status: Needs a sign-in or key
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok
Last checked: 25 Oct 2026, 20:29 UTC

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

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

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.proofmart]
url = "https://proofmart.fly.dev/mcp"

Gemini CLI

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

Cursor

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

VS Code

{"servers":{"proofmart":{"type":"http","url":"https://proofmart.fly.dev/mcp"}}}

Antigravity

agy mcp add proofmart https://proofmart.fly.dev/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"proofmart","server_url":"https://proofmart.fly.dev/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"proofmart","server_url":"https://proofmart.fly.dev/mcp"}

Needs a sign-in or an API key from its maker.

402oracle
Signed verification attestations for agent decisions: business, price, freshness, claim checks.
The Stall
277 pay-per-call MCP tools: YouTube keyword research, stocks, crypto, DeFi, options, macro.
Verify Api
AI claim verification MCP endpoint with x402 payments and stealth web fetch
Agenda Intelligence MD
Evidence-readiness MCP server: validate, audit, and score briefs, memos, and evidence packs.
The Gastrologer — GI clinical tools for agents
Physician-governed GI tools: claim verification, teaching retrieval, HRM and instrument scoring
Claim Grounding
Fact-check AI answers with cited sources. Pay per call in USDC on Base via x402.
x711 — Universal Agent Gas Station
Pay-per-use tool API for AI agents. Free tier, x402 USDC micropayments, or API key.
Narrowhighway Concordance
Deterministic claim verification with receipts across ~60 domains. No model in the loop.

[![AptLynx](https://aptlynx.net/badge/io.github.ProofMart/proofmart.svg)](https://aptlynx.net/servers/io.github.ProofMart/proofmart)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents