ProofMart

io.github.ProofMartPublished by GitHub account ProofMartv0.12.0Updated Oct 29, 2026

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

The publisher's own server: Proof Holdings

VerifiedStreamable HTTPWeb executableKnowledge & MemorySecurity & Monitoring

Overview

AI-generated overview

ProofMart lets an assistant submit factual claims for verification and get verdicts, confidence scores, evidence and signed receipts, plus agent conduct…

What you can do
  • Submit a single factual claim and receive a verdict (TRUE, FALSE, MIXED or UNVERIFIED), a confidence score, supporting evidence and a signed receipt
  • Look up an agent's conduct record from the Conduct Feed, with a 0-100 score, component scores, evidence mix and contested markings
  • List ProofMart subscription plans with monthly check bundles and draft prices
When to use it
Useful when an assistant needs to check a factual claim before relying on it, keep a signed record of what was verified and on what evidence, or look up how an agent has behaved before trusting it.
Requirements
A remote endpoint at proofmart.fly.dev over streamable HTTP. A ProofMart customer key sent in the X-ProofMart-Key header (or as a bearer token) is required for verify_claim and for your own conduct record. Keyless checks and other agents' conduct records can instead be paid per call in USDC over the x402 protocol, if that door is enabled. list_plans needs no key.
Before you install
The customer key is a live credential and is metered against your plan; keep it private. Keyless checks and other agents' conduct records cost money in USDC per call, so spending can occur. Claims you submit are sent to ProofMart and remembered in its Ledger, and conduct records come from a separate business built on ProofMart receipts.

Installation

In SourceWeft

  1. Open ProofMart in the dashboard and add it to a workspace.
  2. Connect X-ProofMart-Key credentials. They are stored privately and never shown on public pages.
  3. Enable the server for the chats that should use its tools.

Web executable via Streamable HTTP. Remote servers run from the web runtime once configured in a workspace.

Use with an agent

Paste this prompt into Claude Code, Codex, Cursor or another agent — or into SourceWeft chat. The agent reads this server's install guide, shows you its publisher, endpoint and sign-in, and adds it to your client once you agree. Keys never go into a command.

Read https://sourceweft.com/mcp/io.github.ProofMart%2Fproofmart/install.md and connect the MCP server it describes to my client. Before changing any config, show me its publisher, endpoint and sign-in method and wait for my OK. Never put an API key in a command or in a file I would commit; ask me where it should come from.

Read the install guide the agent follows

Other MCP clients

Add this to your client's mcpServers config.

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

Tools

3

verify_claim

Verify a factual 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 is answered instantly from memory (the result's 'source' field says 'ledger'; fresh research says 'checker'). Compound claims are split into individual facts automatically. One call = one metered check against the customer's plan.

Parametersclaimrequired

check_agent_conduct

Pull an agent's conduct record (Conduct Feed)

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), contested markings, and a signed attestation. Identify the agent by customer_id (a ProofMart customer number) or by wallet (its x402 payer address). Your OWN record is free when you send your customer key; pulling another agent's record costs $0.05, paid in USDC over x402: a call that needs payment is answered 402 with payment requirements in the PAYMENT-REQUIRED header — pay and retry with the signed payment in the PAYMENT-SIGNATURE header. An agent with no history answers standing 'no_record' — never a fabricated score. Full method: GET /conduct/methodology.

Parameterswalletidentitycustomer_id

list_plans

List ProofMart 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.

Takes no parameters.

Version history

2
  1. v0.12.0LatestOct 29, 2026
  2. v0.8.0Oct 26, 2026

Score

83% of the applicable checks met

How complete this listing is, computed from the registry entry, the endpoint and public sources. Not a rating of the server and not a statement that it is safe or working today: reachability is a dated check, and no installs or reviews go into the score.

  • Reached in the last 30 daysRequired25 pts
  • Auth declaredRequired10 pts
  • Tools listedRequired15 pts
  • DescriptionRequired15 pts
  • Logo10 pts
  • Documentation15 pts

    Declare a GitHub repository with a README, or serve resource_documentation in the OAuth protected-resource metadata.

  • LicenseNot applicable

    A hosted service is used under its provider's terms, so no license is expected here. This check is left out of the percentage.

Other Proof integrations

Proof Holdings

holdings.proofOfficial publisher

Proof Holdings MCP server lets an assistant run identity and control verifications (phone, email, domain, wallet), manage proof tokens and delegations, and…

Streamable HTTPWeb executable
Developer Tools179 toolsNov 5, 2026

Proof of Work

Published by GitHub account kivtxs

Lets an assistant read the rules of Proof of Work, check for a local account, and create an agent account to post, vote and back claims.

STDIODesktop only
AI & ML3 toolsNov 6, 2026

QuietProof

Published by GitHub account frankjie3-create

QuietProof offers free discovery tools for a catalog of deterministic, read-only audits that are paid per call in USDC on Base via x402.

Streamable HTTPWeb executable
Finance4 toolsNov 1, 2026

SCRIPTMASTERLABS — 402Proof

com.scriptmasterlabs

Remote MCP endpoint for creating, verifying and scoring invoices settled with RLUSD on the XRPL ledger, with self-proof of settlements.

Streamable HTTPWeb executable
Business & CommerceNot indexed yetNov 5, 2026

ZKStamp Proof-100

Published by GitHub account ZKStamp

Remote MCP server that writes SHA-256 fingerprints to the BitcoinZ blockchain as shielded, dated proof-of-existence timestamps.

Streamable HTTPWeb executableAuth
Finance3 toolsOct 29, 2026