verifiable-claim-seed

機械検証可能なクレーム契約 + ゼロ依存ゲート + 実サンプル。 再現可能≠検証可能: repro+frozen は内部整合性を証明する; 外部の正しさはアンカーが担う。 エージェント優先: このファイルの前に 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/ パスはパッケージルート（ゲートスクリプトの所在ディレクトリ）を基準に解決され、宣言 JSON を基準にしません。外部からコピーした単一ファイルの宣言を検証する前に、完全なリポジトリ構造を維持するか、宣言全体を verifiable_claim_seed/claims/ に戻してください。 text-quote アンカーはバイトスナップショットを伴う：anchor.mode=text-quote は quote + locator + snapshot + snapshot_sha256（ソーススナップショットファイルパス + 64ビットハッシュ）を必須とします。ゲートはスナップショットのハッシュをバイト単位で検証し、スナップショットテキストから「組版文字の正規化 + 空白除去」によるコンパクト比較を行います——一字一句の引用文が凍結スナップショットに実際に存在する必要があります（HTMLエンティティ/レンダリング空白は誤検知しません）。機械が検証するのは「引用文がこのスナップショット内にある」ことです。スナップショットが実際に現実のソースであるかは、依然として人間/AIによる検証が必要です。 repro.script は Python：repro.script は python3 で実行されます（subprocess、120秒タイムアウト）——スクリプトは Python でなければなりません。サンドボックスなし：ゲートは隔離せず、パスはパッケージルートを越えることができ、呼び出し元の権限で実行されます。セキュリティは完全に「信頼する宣言のみを検証する」ことに依存します。 ゼロ依存の説明：verify_claim.py は実際の検証器（純粋な stdlib、jsonschema ライブラリに依存しない）です。schema/*.json は契約仕様です——両者はセルフテストの「schema-gate 契約同期」例によって機械的に検証され、ドリフトしません。anchor.sha256 も同様に固定されています：リポジトリ内のファイルを指す場合、バイト単位で検証されます（不一致は rc3）。 セキュリティ注意：verify は宣言内の repro.script を実際に実行します。信頼する宣言のみを検証してください。信頼できないソースの宣言を検証することは、その宣言が指定する任意のコードをローカルマシンで実行することに等しいです。 設計上の境界：ゲートは「スクリプトが宣言どおりに出力するか」を検証し、「スクリプトの計算が正しいか」は検証しません——偽造した repro.script が正しいハッシュと期待値を出力すれば rc0 を通過できます。完全性は凍結された入力バイト（anchor/frozen）と宣言の自己整合性に由来し、数学ではありません。「信頼する宣言のみを検証する」ことは、したがってセキュリティの前提であり、飾りではありません。

MCP server

verifiable-claim-mcp（またはレジストリ起動エイリアス verifiable-claim-seed）は3つのツールを公開します（stdio、ゼロ依存）：

• self_test — ゲート自己検査、PASS/FAIL + ケース数

• validate — 構造 + ハッシュ検査、スクリプトを実行しない（信頼できない宣言にはこれを使用）

• verify — 完全検証、明示的に allow_execution=true が必要（宣言内の repro.script、つまり任意のコードを実行します）；このフラグがない場合はすべて拒否

MCPレジストリ：server.json（io.github.elwsls/verifiable-claim-seed、PyPI/stdio）。

Claude Code 接続（pip install 後）——プロジェクトルートに .mcp.json を置きます（リポジトリ内にサンプルあり）、新しいセッションで3つのツールが自動的に読み込まれます：

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

uvx verifiable-claim-seed も使用できます（PyPI リリース後）。未知のエージェントによるエンドツーエンド検証済み：3つのツールを発見 → validate は実行ゼロ → verify は allow_execution がないと拒否 → フラグ付きで通過。

ライセンス: MIT。ゼロ依存（Python stdlib）。