NumProof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
사용해야 할까요
품질 및 안전성
B
발견 사항 (1)
- LOWdiff_rows에서
도구 정의와 프로토콜 준수에 대한 자동 분석을 기반으로 합니다.
컨텍스트 비용
~251토큰 (도구 정의)
~314 B일반적인 응답 크기
최소한의 주의 영향 (128k 컨텍스트의 0.20%)
이는 서버의 도구가 모델의 컨텍스트에 로드될 때마다 소비되는 대략적인 토큰 수입니다. 수치가 높을수록 다른 작업에 사용할 수 있는 주의가 줄어듭니다.
설치
원클릭 설치
`claude_desktop_config.json` 파일에 다음을 추가하세요:
{
"mcpServers": {
"numproof": {
"command": "uvx",
"args": [
"numproof"
]
}
}
}실행 가능한 패키지
pypinumproof
0.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개