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 個工具