ProofMart
Server Details
One-stop claim verification for AI agents: verdicts with confidence, evidence, signed receipts.
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP · MCP 2025-06-18
- URL
TDQS
Scored across 2 tools
The two tools have clearly distinct purposes: list_plans is a read-only pricing/menu lookup, while verify_claim performs metered claim verification. There is no plausible confusion between them.
Both tools follow a consistent snake_case verb_noun pattern: list_plans and verify_claim. The convention is predictable and readable.
Two tools is thin for a service with plans, metered checks, verdicts, evidence, signed receipts, and a ledger. The tools are well-scoped, but the surface feels minimal rather than complete.
The core verification action and plan lookup are present, but there is no explicit tool for verifying a signed receipt, retrieving ledger history, or checking account/usage status. These are notable gaps for the stated ProofMart domain.
Available Tools
2 toolslist_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.
| Name | Required | Description | Default |
|---|---|---|---|
No parameters | |||
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnly, idempotent, non-destructive, closed-world behaviour, so the safety profile is covered. The description adds information the annotations do not: zero authentication ('no key needed') and no metering cost, which materially affects whether an agent should hesitate before calling.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Two tight sentences: the payload description is front-loaded, followed by the cost/auth reassurance and then the usage trigger. Nothing is redundant and nothing is missing.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
With no parameters, no output schema, and full annotation coverage, the description carries little burden. It names the returned fields (bundle, price) and the access conditions, though it stops short of describing ordering, plan tiers, or response shape in any detail.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The tool takes zero parameters, so the baseline is 4. The description correctly implies a no-argument, whole-catalogue call and adds no misleading parameter cues.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description states what the tool returns: every plan's monthly check bundle and draft price, framed as 'the ProofMart menu'. The verb 'list' comes from the name rather than the text, but the resource and payload are unmistakable and the unrelated sibling (verify_claim) needs no explicit differentiation.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
'Useful when an owner asks what subscribing would get them' supplies a concrete triggering situation. There are no exclusions or named alternatives, but with only one sibling (verify_claim) that does something entirely different, no routing ambiguity exists.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
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.
| Name | Required | Description | Default |
|---|---|---|---|
| claim | Yes | The factual claim to verify, e.g. 'The Eiffel Tower is in Paris.' |
Output Schema
| Name | Required | Description |
|---|---|---|
| claim | Yes | |
| source | No | |
| account | No | |
| receipt | No | |
| verdict | Yes | |
| evidence | No | |
| confidence | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Goes well beyond the annotations by disclosing the result shapes ('source' = ledger vs checker), automatic compound-claim splitting, receipt signing, and per-call billing. These details are consistent with readOnlyHint=false, idempotentHint=false, and openWorldHint=true — a non-idempotent, externally-billed call is exactly what the metering sentence describes.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Front-loaded with the action and the return shape, then layered with cache, splitting, and billing details in descending priority. No sentence is redundant or restates the title.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Despite having an output schema, the description still covers verdict vocabulary, confidence range, and the 'source' field, plus cost and caching semantics — everything an agent needs to decide whether to call and how to interpret the response.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema coverage is 100%, so the `claim` parameter's format is already documented; the description adds real meaning by noting that a single `claim` value may contain a compound statement that gets split into individual facts. That is a usage-relevant behavior of the parameter not captured in the schema.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
States a specific verb and resource ('Submit one factual claim to ProofMart') and immediately enumerates the exact return payload (verdict enum, confidence 0-100, evidence, signed receipt). It is clearly distinguishable from the only sibling, list_plans, without opening either schema.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
Gives strong contextual guidance: it discloses the metered cost model ('One call = one metered check') and explains the ledger-cache path so an agent knows a repeat check may be free and instant. It does not state explicit when-not-to-use conditions or name a sibling alternative, so it falls short of a 5.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
2 tool updates
- First observed
list_plans - First observed
verify_claim
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.7 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.3 npmApache 2.0
- AlicenseNot gradedqualityAmaintenanceEnables AI agents to query cryptographically verified facts with zero-knowledge proofs, selective disclosure, and tamper-evident provenance.80 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.