ProofMart

Name: ProofMart
Author: ProofMart

by ProofMartversion 0.12.0i★ –iRuns in the cloud

Registry nameio.github.ProofMart/proofmart

How to install

What it does

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

Connects Runs in the cloud
Account or key Needs X-ProofMart-Key
Category Other

Install

Pick the AI app you use, then copy the settings.

Passed 2/3 checks · What you ask goes through the maker’s server (proofmart.fly.dev)

First: which AI do you use?

ClaudeWeb · app · phoneChatGPTWebClaude CodeTerminalCursorCode editorVS CodeCode editorOtherOther apps

Pick your app and the steps appear below.

Works with Claude · about 5 min

You need a ProofMart key (create it on the maker’s site) · Set it up once on claude.ai or the desktop app, then use it in chat · free accounts can add 1 · on Team/Enterprise an Owner adds it

Sign up and create a ProofMart key
Open the maker’s site, sign up and create an API key for the next step. Check the maker’s site for pricing and free plans.
Open the ProofMart site ↗
Done
Open Claude’s Connectors page
CustomizeConnectors
Done
Click “+ Add” → “Add custom connector” and fill in these 2 fields
Copy each value into the field with the same name in Claude, then click Continue
Name · NameProofMart
Remote MCP server URL · Addresshttps://proofmart.fly.dev/mcp
Under Request headers, add this name and value
Header nameX-ProofMart-Key
Value<paste your key here>
Paste the key only into the app’s field, never into a chat or to anyone
Leave Authentication as Claude detected it, then click Add
Done
Turn it on in a chat
+ConnectorsProofMart
Done
Try it
Use ProofMart and tell me what you can do for me, then show me one thing
✓ If Claude says it is using ProofMart or shows a ProofMart tool in the answer, you are connected

Menu names checked against Anthropic’s help page on Nov 11, 2026 · your screen may differ slightly by app version

ChatGPT cannot connect ProofMart yet

ProofMart needs your own key to connect, but OpenAI’s help page only describes OAuth sign-in; there is no key option we could verify

What you can do instead

A · Use an app that can connect ProofMart

Steps for Claude →You need a ProofMart key (create it on the maker’s site) · Set it up once on claude.ai or the desktop app, then use it in chat · free accounts can add 1 · on Team/Enterprise an Owner adds it
Steps for Claude Code →You need a ProofMart key (create it on the maker’s site)
Steps for Cursor →You need a ProofMart key (create it on the maker’s site)
Steps for VS Code →You need a ProofMart key (create it on the maker’s site)

B · Others in Other that work with ChatGPT

Picked from the most used in the same category, only ones that connect by address with no key

Hostinger✓ ChatGPT
World Monitor✓ ChatGPT
Svelte MCP✓ ChatGPT

Works with Claude Code · about 5 min

You need a ProofMart key (create it on the maker’s site)

Sign up and create a ProofMart key
Open the maker’s site, sign up and create an API key for the next step. Check the maker’s site for pricing and free plans.
Open the ProofMart site ↗
Done
Open Terminal
Mac: press Command+Space and type Terminal · Windows: open PowerShell
Done
3
Paste this command and press Enter
```
claude mcp add --transport http --scope user proofmart https://proofmart.fly.dev/mcp --header 'X-ProofMart-Key: your-value'
```
Replace “your-value” with your key before pressing Enter
Paste the key only into the app’s field, never into a chat or to anyone
Done
Type /mcp in Claude Code
You should see ProofMart listed as connected
Done
Try it
Use ProofMart and tell me what you can do for me, then show me one thing
✓ If Claude Code says it is using ProofMart or shows a ProofMart tool in the answer, you are connected

Menu names checked against Anthropic’s help page on Nov 11, 2026 · your screen may differ slightly by app version

Works with Cursor · about 5 min

You need a ProofMart key (create it on the maker’s site)

Sign up and create a ProofMart key
Open the maker’s site, sign up and create an API key for the next step. Check the maker’s site for pricing and free plans.
Open the ProofMart site ↗
Done
Click this button to open Cursor
Open in Cursor
Cursor asks you to confirm; click Install
Done
Fill in your key
In the ProofMart settings, X-ProofMart-Key is empty; add your key and save
Paste the key only into the app’s field, never into a chat or to anyone
Done
Open the AI chat in Cursor in Agent mode
Done
Try it
Use ProofMart and tell me what you can do for me, then show me one thing
✓ If Cursor says it is using ProofMart or shows a ProofMart tool in the answer, you are connected

Menu names checked against Cursor’s help page on Nov 11, 2026 · your screen may differ slightly by app version

Works with VS Code · about 5 min

You need a ProofMart key (create it on the maker’s site)

Sign up and create a ProofMart key
Open the maker’s site, sign up and create an API key for the next step. Check the maker’s site for pricing and free plans.
Open the ProofMart site ↗
Done
Click this button to open VS Code
Open in VS Code
VS Code asks you to confirm; click Install
Done
Fill in your key
In the ProofMart settings, X-ProofMart-Key is empty; add your key and save
Paste the key only into the app’s field, never into a chat or to anyone
Done
Open the AI chat in VS Code in Agent mode
Done
Try it
Use ProofMart and tell me what you can do for me, then show me one thing
✓ If VS Code says it is using ProofMart or shows a ProofMart tool in the answer, you are connected

Menu names checked against VS Code’s help page on Nov 11, 2026 · your screen may differ slightly by app version

Other apps that use MCP, such as Windsurf, Zed or Gemini CLI, each add servers differently. See how in the app list.

See every app that uses MCP →

Address for apps that connect over the web

Addresshttps://proofmart.fly.dev/mcp

JSON settings are under “For developers” below

Stuck? Ask people who use ProofMart💬 Discussion →

For developers: Terminal commands and JSON settings

Over the web

Claude Code

claude mcp add --transport http --scope user proofmart https://proofmart.fly.dev/mcp --header 'X-ProofMart-Key: your-value'

Cursor (~/.cursor/mcp.json)

{
  "mcpServers": {
    "proofmart": {
      "url": "https://proofmart.fly.dev/mcp",
      "headers": {
        "X-ProofMart-Key": "your-value"
      }
    }
  }
}

VS Code (mcp.json)

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

Values you fill in

X-ProofMart-Key secret required HTTP header
Your ProofMart customer key (pm_live_...). Required for verify_claim; get one by subscribing at ProofMart.

These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.

At a glance

GitHub stars i: –
Downloads per weeki: Not on npm/PyPI
Licence i: No licence stated
Connection: Runs in the cloud
Transport: streamable-http
Latest versioni: 0.12.0
Categoryi: Other
Published to registryi: Oct 29, 2026
Code last changedi: –
Maker: ProofMart
Repo: –
Website: proofmart.fly.dev
Registry status: Active

Which apps can use it

Based on how this server connects and on each app’s own docs, checked Nov 10, 2026.

Connect over the internet in

Claude Goose LM Studio Msty Studio Cherry Studio Cursor VS Code + GitHub Copilot Visual Studio Windsurf (Devin Desktop)Zed Kiro Cline Continue JetBrains AI Assistant Claude Code Codex CLI Gemini CLI OpenCode nodecode Warp LibreChat Open WebUI Raycast

All apps, with pros and cons →

What it can do

Tool names and descriptions exactly as the server reported them on Nov 12, 2026. The maker wrote them, not us; we show them as plain text.

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), conteste
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.

Basic checksi

We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 12, 2026

! Caution
Maker matches the repo
The publisher (ProofMart) is not the repo owner (ProofMart); someone else may have listed it
… Not checked yet
Still maintained
We have not read this repo from GitHub yet
… Not checked yet
Has a licence
We have not read this repo from GitHub yet
✓ Pass
Endpoint responds
Responded in 26 ms (HTTP 200)
– Not applicable
Sign-in with OAuth
No sign-in needed
✓ Pass
No hidden instructions in tool descriptions
Read 3 tool descriptions and found no hidden instructions to the AI

Discussion

Ask, share a tip or report that it does not work. Sorted by what people marked helpful.

No posts yet. Be the first to ask or share.

Posts here are written by users, not the PopNx team.

User reviews

No reviews yet

Compared with others in Otheri

More stars than 0% of the other 19325 servers in this category
Published to the registry more recently than 74% of the other 19325 servers in this category
Basic checks equal to or better than 43% of the other 19325 servers in this category

Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.

Common questions

Is ProofMart safe?

It passed 2 of 3 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.

What keys or codes does it need?

You need to fill in: X-ProofMart-Key

Does it run on my computer or in the cloud?

It runs in the maker’s cloud. Connect over the internet with nothing to install, but what you send passes through the maker’s servers.

Is it still maintained?

The GitHub repo last changed –, and the latest version (0.12.0) reached the registry 14 days ago.

Which apps can use it?

Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. It connects by URL, so apps that accept remote MCP servers work too, such as ChatGPT Business and above.

What can I use instead?

In the same category: World Monitor, Claude Flow, Windmill

Others in the same category

Servers in the same category from other makers, sorted by stars.

Reading a card:↓ Downloads per weeki★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi

World Monitor

Real-time global intelligence on conflict, markets, energy, trade, shipping and cyber. 104 tools.

by koala73Widely used★ 90.5KUpdated today

Runs in the cloud✓ service owner · worldmonitor.app

Install

Claude Flow

AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.

by ruvnetWidely used↓ 13.5K/wk★ 81.5KUpdated 14 months ago

Runs on your computer

Install

Windmill

Run Windmill scripts and flows and manage jobs, schedules, resources and variables.

by windmill-labsWidely used★ 18.5KUpdated today

Runs in the cloud

Install

README from the maker

No README found in the repo

ProofMart

What it does

Install

Sign up and create a ProofMart key

Open Claude’s Connectors page

Click “+ Add” → “Add custom connector” and fill in these 2 fields

Turn it on in a chat

Try it

What you can do instead

Sign up and create a ProofMart key

Open Terminal

Paste this command and press Enter

Type /mcp in Claude Code

Try it

Sign up and create a ProofMart key

Click this button to open Cursor

Fill in your key

Open the AI chat in Cursor in Agent mode

Try it

Sign up and create a ProofMart key

Click this button to open VS Code

Fill in your key

Open the AI chat in VS Code in Agent mode

Try it

Over the web

Values you fill in

At a glance

Which apps can use it

Related guides

What it can do

Basic checksi

Maker matches the repo

Still maintained

Has a licence

Endpoint responds

Sign-in with OAuth

No hidden instructions in tool descriptions

Discussion

User reviews

Compared with others in Otheri

Common questions

Others in the same category

World Monitor

Claude Flow

Windmill

README from the maker