NumProof

Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.

사용해야 할까요

품질 및 안전성

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

발견 사항 (1)

  • LOWTool 'diff_rows' description lacks action verbdiff_rows에서

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

컨텍스트 비용

~251토큰 (도구 정의)
~314 B일반적인 응답 크기
최소한의 주의 영향 (128k 컨텍스트의 0.20%)

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

설치

원클릭 설치

`claude_desktop_config.json` 파일에 다음을 추가하세요:

{
  "mcpServers": {
    "numproof": {
      "command": "uvx",
      "args": [
        "numproof"
      ]
    }
  }
}

실행 가능한 패키지

pypinumproof0.1.1stdio

원격 엔드포인트

https://numproof.com/mcpstreamable-http

할 수 있는 일

도구 목록

도구 (4)

🟢 읽기 전용🟡 쓰기🔴 삭제⚪ 알 수 없음
⚪verify_claim(claim)

Exactly verify a math/finance claim (VERIFY/REFUTE/ABSTAIN) with a counterexample when false. Use before trusting any AI-produced number, sum, percentage, or formula.

입력 스키마

{
  "type": "object",
  "properties": {
    "claim": {
      "type": "string"
    }
  },
  "required": [
    "claim"
  ]
}
⚪audit_rows(rows)

Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.

입력 스키마

{
  "type": "object",
  "properties": {
    "rows": {
      "type": "array"
    }
  },
  "required": [
    "rows"
  ]
}
⚪diff_rows(rows_before, rows_after)

Compare two report versions by numeric row labels with provenance.

입력 스키마

{
  "type": "object",
  "properties": {
    "rows_before": {
      "type": "array"
    },
    "rows_after": {
      "type": "array"
    }
  },
  "required": [
    "rows_before",
    "rows_after"
  ]
}
⚪covenant_rules(rows, rules, rule_pack)

Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.

입력 스키마

{
  "type": "object",
  "properties": {
    "rows": {
      "type": "array"
    },
    "rules": {
      "type": "array"
    },
    "rule_pack": {
      "type": "string"
    }
  },
  "required": [
    "rows"
  ]
}

커뮤니티

이 서버 평가하기

증거

최근 관측

검증됨버전이 기록되지 않음도구 4개
검증됨버전이 기록되지 않음도구 4개