# ProofMart (remote · proofmart.fly.dev)

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

- Trust score: 73/100 (medium)
- Change this week: +3
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-11-05

## Components

- remote · `proofmart.fly.dev`: 73/100 (this document), [markdown](https://verifymcp.io/servers/proofmart-proofmart/proofmart.md), [page](https://verifymcp.io/servers/proofmart-proofmart/proofmart)

## Channel facts

- Endpoint: `https://proofmart.fly.dev/mcp`
- Transports: `streamable-http`
- Auth: `none`
- Version: `0.12.0`

## Trust breakdown

How this component scores in each security and reliability category. Every signal is checked automatically against the live server, and we only credit what we can confirm. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-11-05.

- **Endpoint Security**: 74/100
  - The endpoint's TLS certificate is valid, in date, and uses a strong key.
  - No authorisation is required to call this server. Every tool declares its destructiveHint and none is destructive, so open access doesn't expose one.
  - HTTPS is enforced; there's no plaintext access path.
  - HSTS check failed: the Strict-Transport-Security header is absent.
  - DNSSEC check failed: this domain isn't protected by DNSSEC.
- **Transport & Reachability**: 100/100
  - Verified streamable-http transport via a live MCP handshake.
- **Schema Quality & AI Usability**: 68/100
  - AI-judged instruction clarity (excellent).
  - Context-footprint check failed: tool/resource definitions use about 663 tokens (~221/item across 3 items; 3 tools + 0 resources), over budget; trim descriptions and params.
  - Usage-examples check failed: none of the tools include examples.
- **Stability & Change Management**: 37/100
  - Stability observed for 11 of 30 days with no destabilising changes; credit accrues until the full window elapses.
- **Tool Coverage**: 100/100
  - 100% of tools have a non-trivial description (not blank, and not just the tool's name).
  - 100% of tool parameters carry a description.
  - Structured output schemas are declared (67% of tools); any adoption earns full credit.
- **Tool Safety**: 100/100
  - No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.
  - We read all 3 captured tool definition(s), and no name or description among them implies an irreversible operation.
  - An AI judge read all 4 captured unit(s) of tool text and found none that tries to manipulate the model reading it.
- **Capabilities**: 60/100
  - Spec-recency check failed: implements MCP spec 2025-06-18; the latest is 2026-07-28.

## Install

### How do I install the ProofMart MCP server?

ProofMart is a hosted endpoint at https://proofmart.fly.dev/mcp, so there is nothing to install locally. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.

### Claude

```bash
claude mcp add --transport http proofmart-proofmart 'https://proofmart.fly.dev/mcp'
```

### Cursor

```json
{
  "mcpServers": {
    "proofmart-proofmart": {
      "url": "https://proofmart.fly.dev/mcp"
    }
  }
}
```

### VS Code

```json
{
  "servers": {
    "proofmart-proofmart": {
      "type": "http",
      "url": "https://proofmart.fly.dev/mcp"
    }
  }
}
```

### Codex

```toml
[mcp_servers.proofmart-proofmart]
url = "https://proofmart.fly.dev/mcp"
```

### opencode

```json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "proofmart-proofmart": {
      "type": "remote",
      "url": "https://proofmart.fly.dev/mcp",
      "enabled": true
    }
  }
}
```

### OpenClaw

```bash
openclaw mcp add proofmart-proofmart --url 'https://proofmart.fly.dev/mcp' --transport streamable-http
```

### Hermes

```yaml
mcp_servers:
  proofmart-proofmart:
    url: "https://proofmart.fly.dev/mcp"
```

### Netclaw

```json
{
  "McpServers": {
    "proofmart-proofmart": {
      "Transport": "http",
      "Url": "https://proofmart.fly.dev/mcp"
    }
  }
}
```

### Vellum

```bash
assistant mcp add proofmart-proofmart -t streamable-http -u 'https://proofmart.fly.dev/mcp'
```

### Other

```json
{
  "mcpServers": {
    "proofmart-proofmart": {
      "type": "http",
      "url": "https://proofmart.fly.dev/mcp"
    }
  }
}
```

The mcpServers block is a cross-client convention. Remote transports vary, so check your client's docs.

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-11-04 (score 73, +1)

No change was recorded against any check on this day. Stability & Change Management went from 30 to 33. That category is still filling its 30-day observation window: 9 days of observed history at the previous scan, 10 at this one. The score rises as the window fills, whether or not the server changes.

### 2026-11-02 (score 72, +1)

No change was recorded against any check on this day. Stability & Change Management went from 23 to 27. That category is still filling its 30-day observation window: 7 days of observed history at the previous scan, 8 at this one. The score rises as the window fills, whether or not the server changes.

### 2026-10-30 (score 71, +1)

No change was recorded against any check on this day. Stability & Change Management went from 13 to 17. That category is still filling its 30-day observation window: 4 days of observed history at the previous scan, 5 at this one. The score rises as the window fills, whether or not the server changes.

### 2026-10-29 (score 70, −1)

- [security] The server rewrote its instructions, which are the text every model session reads
- [functional regression] Schema quality: pass → fail
- [functional improvement] Tool coverage: 50% → 67%
- [functional] Server version: 0.11.0 → 0.12.0
- [functional] Server version: 0.10.0 → 0.11.0
- [functional] Server version: 0.8.0 → 0.10.0
- [functional] New tool “check_agent_conduct”

### 2026-10-27 (score 71, +1)

No change was recorded against any check on this day. Stability & Change Management went from 3 to 7. That category is still filling its 30-day observation window: 1 days of observed history at the previous scan, 2 at this one. The score rises as the window fills, whether or not the server changes.

### 2026-10-26 (score 70, 0)

- [functional improvement] Stability: unverified → 0.03

### 2026-10-25 (score 70)

First indexed and scored.

## MCP tools (3)

### `verify_claim` (~138 tokens)

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.

Input parameters:

- `claim` (string, required): The factual claim to verify, e.g. 'The Eiffel Tower is in Paris.'

Output parameters:

- `account` (object)
- `claim` (string)
- `confidence` (integer)
- `evidence` (array)
- `receipt` (object)
- `source` (string)
- `verdict` (string)

### `check_agent_conduct` (~253 tokens)

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.

Input parameters:

- `customer_id` (integer): The agent's ProofMart customer id number.
- `identity` (string): A full identity string: 'customer:<id>' or 'wallet:<address>'.
- `wallet` (string): The agent's wallet address (0x…), as used to pay over x402.

Output parameters:

- `attestation` (object)
- `components` (object)
- `evidence` (object)
- `identity` (string)
- `score` (integer|null)
- `standing` (string)

### `list_plans` (~47 tokens)

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.

## Diagnostics

Captured diagnostic sections: TLS, DNSSEC, Authorisation, Transports. The full working is on the page: https://verifymcp.io/servers/proofmart-proofmart/proofmart#diagnostics

## Score history

- 2026-11-05: 73
- 2026-11-04: 73
- 2026-11-03: 72
- 2026-11-02: 72
- 2026-11-01: 71
- 2026-10-31: 71
- 2026-10-30: 71
- 2026-10-29: 70
- 2026-10-28: 71
- 2026-10-27: 71
- 2026-10-26: 70
- 2026-10-25: 70

## Common questions

### What is the ProofMart MCP server?

ProofMart is an MCP server listed in the public MCP registry as io.github.ProofMart/proofmart. One-stop claim verification for AI agents: verdicts with confidence, evidence, signed receipts. This page covers its hosted endpoint (https://proofmart.fly.dev/mcp).

### Is the ProofMart MCP server safe to use?

ProofMart scores 73 out of 100 on VerifyMCP. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

### What tools does the ProofMart MCP server expose?

ProofMart exposes 3 tools: verify_claim, check_agent_conduct, list_plans. Their descriptions and schemas cost roughly 438 tokens of context every time the server is loaded.

### Does the ProofMart MCP server require authentication?

No. We connected to ProofMart without credentials and it answered, so anything it exposes is reachable by anyone who knows the address.

### Is the ProofMart MCP server still maintained?

ProofMart is still listed as active in the MCP registry. We last reached this channel on 5 November 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.

## Links

- Remote endpoint: https://proofmart.fly.dev/mcp
- Authorisation metadata: https://proofmart.fly.dev/.well-known/oauth-protected-resource/mcp
- Website: https://proofmart.fly.dev/
- Changelog RSS feed: https://verifymcp.io/servers/proofmart-proofmart/proofmart.xml
- Changelog JSON feed: https://verifymcp.io/servers/proofmart-proofmart/proofmart.json
- HTML version of this page: https://verifymcp.io/servers/proofmart-proofmart/proofmart