ProofMart

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

我该使用它吗

质量与安全性

A
描述质量
100%
模式完整度
73%
命名质量
100%
投毒风险
100%
权限匹配度
100%
协议合规性
100%

基于对工具定义和协议合规性的自动分析。

上下文开销

~782token 数(工具定义)
~1.3 KB典型响应大小
对注意力有中等影响(占 128k 上下文窗口的 0.61%)

这是每次将服务器的工具加载到模型上下文窗口时所消耗的大致 token 数。数值越高,可用于其他任务的注意力就越少。

安装

一键安装

将以下内容添加到你的 `claude_desktop_config.json` 文件中:

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

远程端点

https://proofmart.fly.dev/mcpstreamable-http

它能做什么

工具清单

工具(3)

🟢 只读🟡 写入🔴 删除⚪ 未知
🟡verify_claim(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.

输入模式

{
  "type": "object",
  "properties": {
    "claim": {
      "type": "string",
      "description": "The factual claim to verify, e.g. 'The Eiffel Tower is in Paris.'",
      "minLength": 1
    }
  },
  "required": [
    "claim"
  ],
  "additionalProperties": false
}

输出模式

{
  "type": "object",
  "properties": {
    "claim": {
      "type": "string"
    },
    "verdict": {
      "type": "string",
      "enum": [
        "TRUE",
        "FALSE",
        "MIXED",
        "UNVERIFIED"
      ]
    },
    "confidence": {
      "type": "integer",
      "minimum": 0,
      "maximum": 100
    },
    "evidence": {
      "type": "array"
    },
    "source": {
      "type": "string",
      "enum": [
        "ledger",
        "checker",
        "recheck"
      ]
    },
    "receipt": {
      "type": "object"
    },
    "account": {
      "type": "object"
    }
  },
  "required": [
    "claim",
    "verdict",
    "confidence"
  ],
  "additionalProperties": true
}
🟢check_agent_conduct(customer_id, wallet, identity)

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.

输入模式

{
  "type": "object",
  "properties": {
    "customer_id": {
      "type": "integer",
      "description": "The agent's ProofMart customer id number."
    },
    "wallet": {
      "type": "string",
      "description": "The agent's wallet address (0x…), as used to pay over x402."
    },
    "identity": {
      "type": "string",
      "description": "A full identity string: 'customer:<id>' or 'wallet:<address>'."
    }
  },
  "additionalProperties": false
}

输出模式

{
  "type": "object",
  "properties": {
    "identity": {
      "type": "string"
    },
    "score": {
      "type": [
        "integer",
        "null"
      ]
    },
    "standing": {
      "type": "string",
      "enum": [
        "established",
        "unproven",
        "no_record"
      ]
    },
    "components": {
      "type": "object"
    },
    "evidence": {
      "type": "object"
    },
    "attestation": {
      "type": "object"
    }
  },
  "required": [
    "identity",
    "standing"
  ],
  "additionalProperties": true
}
🟢list_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.

输入模式

{
  "type": "object",
  "properties": {},
  "additionalProperties": false
}

社区

评价此服务器

证据

最近观测

已验证未记录版本3 个工具