ProofMart

io.github.ProofMart由 GitHub 账号 ProofMart 发布v0.12.0更新于 Oct 29, 2026

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

发布方自己的服务:Proof Holdings

已验证Streamable HTTP可网页运行知识与记忆安全与监控

概览

AI 生成的概览

ProofMart 让助手提交事实性声明进行核查,获得判定、置信度、证据和签名回执,并可查询智能体的行为记录。

可以做什么
  • 提交单条事实性声明,获得判定(TRUE、FALSE、MIXED 或 UNVERIFIED)、置信度评分、支撑证据和签名回执
  • 从 Conduct Feed 查询某个智能体的行为记录,包括 0-100 评分、分项得分、证据构成和争议标记
  • 列出 ProofMart 的订阅方案,含每月核查额度和参考价格
适用场景
适合在助手依赖某项事实性声明前先做核查、需要留存“核查了什么、何时、依据哪些证据”的签名记录,或在信任某个智能体前了解其行为表现时使用。
运行要求
远程端点 proofmart.fly.dev,使用 streamable HTTP。verify_claim 和查询自身行为记录需要 ProofMart 客户密钥,通过 X-ProofMart-Key 请求头(或 bearer 令牌)发送。无密钥核查和查询其他智能体记录可改为按次以 USDC 通过 x402 协议付费,前提是该通道已启用。list_plans 无需密钥。
安装前请注意
客户密钥是有效凭据,会按方案计费,须妥善保管。无密钥核查和查询其他智能体记录每次需支付 USDC,可能产生费用。提交的声明会发送给 ProofMart 并记入其 Ledger;行为记录来自基于 ProofMart 回执的另一家业务。

安装

在 SourceWeft 中

  1. 打开 控制台中的 ProofMart,将其添加到工作区。
  2. 连接 X-ProofMart-Key 凭据。它们会被私密存储,绝不会在公开页面上展示。
  3. 为需要使用其工具的对话启用该服务。

Web executable,通过 Streamable HTTP。 远程服务在工作区中配置后即可从网页运行时运行。

交给智能体安装

把这段提示词粘贴到 Claude Code、Codex、Cursor 等智能体,或 SourceWeft 对话中。智能体会读取该服务器的安装指南,先向你展示发布者、端点和登录方式,经你同意后再把它添加到你的客户端。密钥不会写进任何命令。

阅读 https://sourceweft.com/mcp/io.github.ProofMart%2Fproofmart/install.md,并按其中说明把这个 MCP 服务器接入我的客户端。修改任何配置之前,先告诉我它的发布者、端点和登录方式,等我确认。不要把 API 密钥写进命令或我会提交的文件;问我密钥应从哪里获取。

查看智能体所依据的安装指南

其他 MCP 客户端

把它添加到你客户端的 mcpServers 配置中。

{
  "mcpServers": {
    "proofmart": {
      "type": "http",
      "url": "https://proofmart.fly.dev/mcp",
      "headers": {
        "X-ProofMart-Key": "<YOUR_API_KEY>"
      }
    }
  }
}

工具

3

verify_claim

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.

输入参数claim必填

check_agent_conduct

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.

输入参数walletidentitycustomer_id

list_plans

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.

无需输入参数。

版本历史

2
  1. v0.12.0最新Oct 29, 2026
  2. v0.8.0Oct 26, 2026

评分

已满足适用检查项的 83%

该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。

  • 近 30 天内可连通必需25 分
  • 已声明认证方式必需10 分
  • 已列出工具必需15 分
  • 描述必需15 分
  • 图标10 分
  • 文档15 分

    请声明包含 README 的 GitHub 仓库,或在 OAuth 受保护资源元数据中提供 resource_documentation。

  • 许可证不适用

    托管服务按其提供方的条款使用,因此这里不要求许可证。此检查项不计入百分比。

其他 Proof 集成