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 整合