Skip to main content
Glama

ProofMart

Server Details

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

If you are the author of this connector, you can claim ownership by verifying the domain or GitHub account it belongs to. Claimed connector authors can inspect health checks, view analytics, and manage their listing.
Status
Healthy
Last Tested
Transport
Streamable HTTP · MCP 2025-06-18
URL

TDQS

A4.2/5.0

Scored across 2 tools

Disambiguation5/5

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.

Naming Consistency5/5

Both tools follow a consistent snake_case verb_noun pattern: list_plans and verify_claim. The convention is predictable and readable.

Tool Count3/5

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.

Completeness3/5

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 tools
list_plansList ProofMart plansA
Read-onlyIdempotent
Inspect

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.

NameRequiredDescriptionDefault

No parameters

TDQS

A4.1/5.0
Behavior4/5

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.

Conciseness5/5

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.

Completeness4/5

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.

Parameters4/5

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.

Purpose4/5

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.

Usage Guidelines4/5

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.

NameRequiredDescriptionDefault
claimYesThe factual claim to verify, e.g. 'The Eiffel Tower is in Paris.'

Output Schema

NameRequiredDescription
claimYes
sourceNo
accountNo
receiptNo
verdictYes
evidenceNo
confidenceYes

TDQS

A4.7/5.0
Behavior5/5

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.

Conciseness5/5

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.

Completeness5/5

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.

Parameters4/5

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.

Purpose5/5

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.

Usage Guidelines4/5

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.

  1. 2 tool updates
    • First observedlist_plans
    • First observedverify_claim

Related MCP Connectors

Related MCP Servers

  • A
    license
    Not graded
    quality
    D
    maintenance
    Verifiable action receipts for AI agents — agents sign claims locally, an independent witness countersigns and timestamps, anyone can verify offline.
    7 npm
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables deterministic verification of AI agent decisions and actions, providing PASS/FAIL/ABSTAIN verdicts with replayable proofs and an optional signed receipt ledger.
    3 npm
    Apache 2.0
  • A
    license
    Not graded
    quality
    C
    maintenance
    Enables 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
Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources