ProofMart
One-stop claim verification for AI agents: verdicts with confidence, evidence, signed receipts.
使うべきか
品質と安全性
ツール定義とプロトコルへの準拠に関する自動分析に基づいています。
コンテキストコスト
これは、サーバーのツールがモデルのコンテキストに読み込まれるたびに消費されるおおよそのトークン数です。数が多いほど、ほかのタスクに使える注意が減ります。
インストール
ワンクリックインストール
これを `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
}コミュニティ
エビデンス