verifiable-claim-seed

기계 검증 가능한 클레임 계약 + 제로 의존성 게이트 + 실제 샘플. 재현 가능 ≠ 검증 가능: repro+frozen은 내부 일관성을 증명하며, 외부 정확성은 anchor가 담당합니다. 에이전트 우선: 이 파일보다 먼저 ai-catalog.json을 읽어 머신이 읽을 수 있는 매니페스트를 확인하세요.

mcp-name: io.github.elwsls/verifiable-claim-seed

install

pip install verifiable-claim-seed     # zero dependencies, Python stdlib only
verify-claim self-test                # prove the gate works in this environment

또는 저장소를 클론하고 게이트를 직접 실행하세요:

python3 verifiable_claim_seed/verify_claim.py self-test

Related MCP server: HREVN MCP Server

entrypoints

verify

verify-claim self-test                              # pip 安装后
verify-claim verify <claim.json> [--report out.json]
# 仓库内直接跑：
python3 verifiable_claim_seed/verify_claim.py self-test

종료 코드: 0 전체 통과 / 1 하드 실패(구조/형식/선언이 참조하는 파일 누락) / 2 사용법·환경(명령줄 인자/검증할 선언 파일 누락) / 3 증거 계약 위반(해시 불일치/재현 불일치).

경로 의미론: 선언 내 data//scripts/ 경로는 패키지 루트(gate 스크립트가 있는 디렉터리) 기준으로 해석되며, 선언 JSON 기준이 아닙니다. 외부에서 복사해 온 단일 파일 선언을 검증하기 전에 전체 저장소 구조를 유지하거나, 선언 전체를 verifiable_claim_seed/claims/에 다시 넣으세요. text-quote 앵커의 바이트 스냅샷: anchor.mode=text-quote는 quote + locator + snapshot + snapshot_sha256(소스 스냅샷 파일 경로 + 64비트 해시)을 반드시 포함해야 합니다. gate는 스냅샷 해시를 바이트 단위로 검증하고, 스냅샷 텍스트를 추출해「조판 문자 정규화 + 공백 제거」의 컴팩트 비교를 수행합니다——인용문은 동결 스냅샷에 실제로 존재해야 합니다(HTML 엔티티/렌더링 공백은 오탐을 일으키지 않습니다). 기계가 검증하는 것은 "인용문이 이 스냅샷에 있다"는 것이며, 스냅샷이 실제 현실 소스인지는 여전히 수동/AI 검증이 필요합니다. repro.script는 Python: repro.script는 python3로 실행됩니다(subprocess, 120초 타임아웃)——스크립트는 Python이어야 합니다. 샌드박스 없음: 게이트는 격리하지 않으며, 경로가 패키지 루트를 벗어날 수 있고 호출자 권한으로 실행됩니다. 보안은 전적으로 "신뢰하는 선언만 검증"에 의존합니다. 제로 의존성 설명: verify_claim.py는 실제 검증기(순수 stdlib, jsonschema 라이브러리에 의존하지 않음)이고, schema/*.json은 계약 사양입니다——둘은 self-test의「schema-gate 계약 동기화」사례로 기계 검증되어 드리프트가 없습니다. anchor.sha256도 동일하게 고정됩니다: 저장소 내 파일을 가리키면 바이트 단위로 검증합니다(불일치 시 rc3). 보안 주의: verify는 선언의 repro.script를 실제로 실행합니다. 신뢰하는 선언만 검증하세요. 신뢰할 수 없는 출처의 선언을 검증하는 것은 해당 선언이 명시한 임의 코드를 로컬에서 실행하는 것과 같습니다. 설계 경계: 게이트는 "스크립트가 선언한 대로 출력하는지"를 검증하며, "스크립트 계산이 올바른지"는 검증하지 않습니다——위조된 repro.script가 올바른 해시 + 기대 값을 출력하면 rc0을 통과할 수 있습니다. 무결성은 동결된 입력 바이트(anchor/frozen)와 선언의 자기 일관성에서 오며, 수학에서 오는 것이 아닙니다. 따라서 "신뢰하는 선언만 검증"은 장식이 아니라 보안 전제입니다.

MCP server

verifiable-claim-mcp(또는 registry 시작 별칭 verifiable-claim-seed)는 세 가지 도구를 노출합니다(stdio, 제로 의존성):

• self_test — gate 자체 점검, PASS/FAIL + 케이스 수

• validate — 구조 + 해시 검사, 스크립트를 실행하지 않음(신뢰할 수 없는 선언에는 이 도구 사용)

• verify — 전체 검증, 명시적으로 allow_execution=true가 필요함(선언 내 repro.script, 즉 임의 코드를 실행함); 이 플래그가 없으면 모두 거부

MCP registry: server.json(io.github.elwsls/verifiable-claim-seed, PyPI/stdio).

Claude Code 연결(pip install 후)——프로젝트 루트에 .mcp.json을 배치(저장소에 예시 포함), 새 세션에서 세 도구 자동 로드:

{ "mcpServers": { "verifiable-claim-seed": { "command": "python3", "args": ["verifiable_claim_seed/mcp_server.py"] } } }

uvx verifiable-claim-seed(PyPI 릴리스 후)도 사용할 수 있습니다. 낯선 에이전트의 엔드투엔드 검증 완료: 세 도구 발견 → validate 제로 실행 → verify가 allow_execution 부재로 거부 → 플래그 포함 시 통과.

License: MIT. 제로 의존성(Python stdlib).