ProofMart

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

사용해야 할까요

품질 및 안전성

A
설명 품질
100%
스키마 완전성
73%
이름 품질
100%
오염 위험
100%
권한 일치
100%
프로토콜 준수
100%

도구 정의와 프로토콜 준수에 대한 자동 분석을 기반으로 합니다.

컨텍스트 비용

~782토큰 (도구 정의)
~1.3 KB일반적인 응답 크기
중간 정도의 주의 영향 (128k 컨텍스트의 0.61%)

이는 서버의 도구가 모델의 컨텍스트에 로드될 때마다 소비되는 대략적인 토큰 수입니다. 수치가 높을수록 다른 작업에 사용할 수 있는 주의가 줄어듭니다.

설치

원클릭 설치

`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개