ProofMart
Server Details
One-stop claim verification for AI agents: verdicts with confidence, evidence, signed receipts.
- Status
- Healthy
- Uptime
- 100.0% over the last 24 hours
- Last Tested
- Transport
- Streamable HTTP · MCP 2025-06-18
- URL
- ChatGPT
- –
- Claude
- –
TDQS
Scored across 3 tools
Each tool targets a clearly different object and action: verifying a claim, listing subscription plans, and pulling an agent's conduct record. There is no plausible confusion between them, and an agent can select the right tool from the name alone.
All three names follow a strict verb_noun snake_case pattern (check_agent_conduct, list_plans, verify_claim). The convention is uniform and self-explanatory, with no camelCase or stylistic drift.
Three tools is on the light side but each maps to a distinct business capability (claim verification, plan catalog, conduct lookup). The surface is well-scoped, though the rich payment and ledger mechanics described suggest a couple more tools could be justified without bloat.
Core workflows (verify a claim, see plans, check conduct) are covered, but there are notable gaps: no tool to purchase or manage a subscription/plan, no way to retrieve or verify stored receipts, and no ledger inspection beyond the implicit caching behavior. Agents can still complete the main task but will hit dead ends on billing and receipt lifecycle.
Available Tools
3 toolscheck_agent_conductPull an agent's conduct record (Conduct Feed)ARead-onlyInspect
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.
Inputs: wallet, identity, customer_id. Returns: score, evidence, identity, standing, +2 more
list_plansList ProofMart plansARead-onlyIdempotentInspect
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.
Inputs: no named parameters.
verify_claimVerify a factual claimAInspect
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.
Inputs: claim (required). Returns: claim, source, account, receipt, +3 more
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
Loading tool schema changelog…
Related MCP Connectors
Deterministic fact verification for AI agents — checksums & curated data, not guesses.
Independent effect verification and signed receipts for consequential AI agent actions.
Did it really happen? Independent signed receipts for AI agents: page, domain, email, heartbeat.
Evidence-first trust verdicts for AI-agent services — query one before you transact.
Related MCP Servers
- AlicenseNot gradedqualityDmaintenanceVerifiable action receipts for AI agents — agents sign claims locally, an independent witness countersigns and timestamps, anyone can verify offline.9 npmMIT
- AlicenseNot gradedqualityBmaintenanceEnables deterministic verification of AI agent decisions and actions, providing PASS/FAIL/ABSTAIN verdicts with replayable proofs and an optional signed receipt ledger.4 npmApache 2.0
- AlicenseNot gradedqualityBmaintenanceEnables AI agents to query cryptographically verified facts with zero-knowledge proofs, selective disclosure, and tamper-evident provenance.602 npm1Apache 2.0
- AlicenseNot gradedqualityCmaintenanceEnables AI agents to obtain independent, Ed25519-signed receipts confirming real-world facts: whether a page is online, a domain is legitimate, an email address is deliverable, a heartbeat was declared, or a scheduled task actually ran. Each response includes a verifiable cryptographic receipt, so agents can prove to their users that an asserted outcome was observed by a neutral third party rather than self-attested.MIT
Glama MCP Gateway
Add one secure layer between your agents and this server.