KeyHalve - verify sealed documents

KeyHalve verify-MCP

無料、公開、アカウント不要のMCPサーバーです。あらゆるプラットフォーム（ValidPay、CheckBooks、…）でKeyHalveによって封印されたドキュメントを、あらゆるAIが検証できます。 Sealは扉です（プラットフォームの有料MCP）。Verifyは部屋です（このサーバーは永久に無料です）。

• エンドポイント： https://mcp.keyhalve.com/mcp（Streamable HTTP、ステートレス）
• ツール： keyhalve_verify · keyhalve_status · keyhalve_explain — すべて読み取り専用で、認証不要

ブラインドネスルール

このサーバーが復号キーを受け取ることは決してありません。 検証URLには、フラグメント#key=に保有者のキーシェアが含まれます。parseInputは他の処理を実行する前にすべてのフラグメントを破棄し、レスポンスでもその旨を伝えます。ここでの検証対象は、キーがなくても証明できるすべての項目です。

チェック	意味
status	発行元プラットフォームでの有効／失効状態（理由を含む）
ciphertext integrity	提供された暗号文のSHA-256が発行時に記録されたコミットメントと一致すること（v2）
rail attestation	ピン留めされたレールキーに対するEd25519検証。存在する場合はコンテンツの二重署名バインディングも検証
time lock	クライアント側で有効期間を判定（Patent Dのセマンティクス）
issuer trust	フェイルクローズ：最大でもdeclaredであり、証明ではありません

封印された内容の読み取りは、ウェブ検証ツールとまったく同様に、保有者のブラウザー内でのみ行われます。全体の判定はフェイルクローズです。チェックに1つでも失敗すると、FAILED — DO NOT TRUSTとなります。

設計上の注意

• 実行時依存関係ゼロ。 WebCryptoのみを使用しており、プロトコル層全体を手作業で監査できます。keyhalve-websiteのピン留めキーを使うレールクライアントと同じ考え方です。
• ステートレス。 セッション、SSE、KV、Cookieはありません。すべてのPOSTにapplication/jsonを返します。リクエストボディがログに記録されることはありません。
• テナント中立。 プラットフォーム情報はウェブ検証ツールと同じマニフェストデータ（src/verifier.tsのTENANT_MANIFEST）から取得します。プラットフォームのオンボーディングはデータを1件追加するだけです。
• フェイルクローズ。 レールに到達できない場合、不正な形式のシェア、二重署名バインディングが不完全な場合、未知のIDプレフィックスの場合、すべて未検証と報告し、検証済みとして扱うことはありません。

開発／デプロイ

npm ci
npm run typecheck && npm test   # 32 tests
npm run dev                      # wrangler dev

デプロイは手動です（workflow_dispatch経由のdeploy.yml。レール／コンソールと同じ運用方針です）。 CLOUDFLARE_API_TOKENリポジトリシークレットが必要です。ルートmcp.keyhalve.comは、ビジネス用CFアカウント（watchdogスケジューラーと同じアカウント）のカスタムドメインです。

ディレクトリへの登録申請（Mikeの承認が必要）

Claude Connectors Directory／ChatGPT App Directoryへの登録申請は外部向けの手続きです。個別に準備し、Mikeの承認がある場合にのみ提出します。

掲載情報

ディレクトリ掲載用の素材はこのリポジトリにあります。再利用し、文言を新たに作成しないでください。

• llms-install.md — AIエージェント向けのインストール手順（ClineのAIによるインストール。クライアントごとの標準スニペットも記載）。
• glama.json — Glamaの申請ファイル（メンテナー向け。Glamaの最新スキーマはメンテナーのみが利用できます）。
• assets/icon-400.png — 400×400アイコン（ブランドキットの、Ink #0E1116を背景にした白い分割円のグリフ）。
• 説明文はsrc/tools.tsとバイト単位で一致させ、承認済みクレーム一覧に準拠させてください（「split key」、「tamper-proof」、発行者の身元に関する主張は不可）。