nomue Record Verifier

nomue Record Verifier

MCP クライアント向けの、nomue Protocol Records のローカルかつ発行者に依存しない検証ツールです。

ステータス

@licklider/nomue-verifier-mcp は、フェーズ 1 のローカル利用を想定した実験的なリリース候補パッケージです。サポートするのは stdio のみ です。HTTP エンドポイントを公開せず、アカウントや API キーも不要で、Licklider がホストするサービスも呼び出しません。

このサーバーは、次の正確な npm 依存関係を使用する薄いアダプターです。

@licklider/[email protected]

統計やプロトコルの意味論を独自に実装するものではありません。 公開済みの CLI tarball には、正確な直接依存関係の固定に加えて npm-shrinkwrap.json が含まれているため、依存パッケージの shrinkwrap を尊重する npm バージョンでは、レビュー済みのランタイムツリーをインストールできます。

バージョン 0.2.0-rc.1 では、df=1 の Student-t における中心精度の補正を含むよう、正確な検証依存関係を更新しています。明示的な verifier-MCP パッケージ ID を採用した最初のリリース候補に続くリリースです。実験的な @licklider/nomue-mcp パッケージは過去のものとして残され、今後の nomue 製品用 MCP として転用されることはありません。ユーザー向けの名前は nomue Record Verifier のまま、クライアントの設定キーは nomue-verify のまま、唯一のツールは verify_nomue_record のままです。この ID の移行によって科学的な対象範囲が拡大することはありません。このリリースで受け付けるのは、以下に示す正確な Release 1 Welch バンドルのみです。

MCP クライアントに追加する

クライアントの mcpServers オブジェクトに、次の 1 行を追加します。

"nomue-verify":{"command":"npx","args":["--yes","@licklider/[email protected]"]}

設定ファイル全体は次のとおりです。

{"mcpServers":{"nomue-verify":{"command":"npx","args":["--yes","@licklider/[email protected]"]}}}

これは、macOS、Linux、および npx を直接解決する MCP クライアントでの標準的な形式です。環境変数は不要です。初回の npx 起動時には npm 依存関係がダウンロードされることがあります。インストール後は検証がローカルで実行され、ネットワークアクセスは不要です。

Windows で、npm コマンドの shim を直接解決できないクライアントでは、同等の次の設定を使用できます。

"nomue-verify":{"command":"cmd.exe","args":["/d","/s","/c","npx --yes @licklider/[email protected]"]}

リポジトリの CI マトリックスでは、インストール済みの npm コマンド shim を検証し、Windows、macOS、Linux でインストール済みパッケージのエントリーポイントをテストします。リポジトリと npm のリリース候補が公開された後、クリーンプロファイルでの Claude Desktop、Cursor、Cline の起動テストがリリースの必須条件として残っています。

nomue Record Verifier を Cursor に追加

Cursor Plugin ラッパー

このリポジトリには、.cursor-plugin/plugin.json にある Cursor Plugin マニフェストと、バージョンを正確に固定した mcp.json も含まれています。このラッパーは、ルール、プロンプト、認証情報、環境変数、リモートサービスを追加せず、上記と同じローカル stdio サーバー設定をインストールします。マニフェストでは、安定版と誤解されないよう、リリース候補としてパッケージを示しています。

チェックイン済みの設定は次のとおりです。

{"mcpServers":{"nomue-verify":{"command":"npx","args":["--yes","@licklider/[email protected]"]}}}

このマニフェストにより、クリーンプロファイルでの Cursor Plugin テストと Marketplace の審査に向けて、リポジトリの準備が整います。Cursor Marketplace に現在掲載されていることを示すものではありません。掲載の記録は、Cursor が申請を受理した後に限り、別途残してください。

ツール

verify_nomue_record

ツール名は、どの登録済み検証セマンティクスを適用するかが MCP サーバーや呼び出し元ではなく、バンドルのディスパッチによって決まるため、メソッドに依存しないものになっています。現在のリリースがサポートするのは、以下の完全一致する Welch バンドルのみです。サポート対象外のバンドルは、フォールバックや暗黙のメソッド切り替えを行わずに拒否されます。

使用する場合： 正確な公開 Release 1 バンドル urn:nomue:bundle:itgc-guarantee:0.2.1-draft.1 を宣言する、完全な nomue Record がすでにあり、対象範囲を限定した構造、ダイジェスト、許容性、計算可能性、または両側 Welch 再計算のチェックが必要な場合です。

使用しない場合： 生サンプルしかなく新たな Welch 計算が必要な場合、メソッドの選択が必要な場合、科学的妥当性全般や因果関係の判断が必要な場合、対応していない Protocol バンドルがある場合、または対応していない Protocol バンドルを使用する場合です。また、対応していない Protocol バンドルがある場合や、対応していない Protocol バンドルを使用する場合も該当します。

入力：

{
  "record_json": "{...complete nomue Record JSON text...}"
}

record_json は解析済みオブジェクトではなく、JSON テキストです。空の文字列や不正な形式の文字列もアダプターで受け入れられ、検証器に渡されます。元のテキストを保持することで、厳密な JSON 解析、重複メンバーの拒否、ダイジェストの検証、リソース制限の動作を検証器内で行えます。MCP 文字列では、不正な UTF-8 バイトシーケンスを表現できません。このバイトレベルでの拒否をテストするには、npm 検証器 CLI を直接使用してください。

結果の仕様

最初の MCP テキストコンテンツブロックには、最後の改行も含めて、固定バージョンの検証器 CLI 実装が出力した標準出力がそのまま含まれます。structuredContent には、新たなアダプター判定を加えずに、同じ検証器アーティファクトを解析したものが含まれます。MCP の結果メタデータには、以下が含まれます。

• 検証器の終了コード
• UTF-8 でエンコードした入力 JSON テキストそのものの SHA-256 ダイジェスト
• 標準出力のバイト列そのものの SHA-256 ダイジェスト
• 検証器の npm パッケージの正確な識別情報
• 独立した再実行ごとに変化する、検証器生成フィールド（generated_at）

これらのメタデータフィールドは呼び出しと再実行の証拠を示すもので、新たな判定や保証ではありません。

検証器の終了コードは、従来どおりの意味を持ちます。

Code	意味
0	レポートが存在し、適用対象のすべてのスコープ付きチェック結果が pass です。
2	スコープ付きチェックが失敗したか、解析または正規化の拒否が発生しました。
3	ルーティングに失敗したか、バンドルがサポート対象外です。レポートは存在しません。
4	リソース制限による安全な拒否です。
5	検証器内部での拒否です。

コード 2 から 5 は、引き続き通常の機械可読な検証器アーティファクトです。アダプター自体が検証器のレポートまたは拒否結果を生成できない場合に限り、MCP 呼び出しがツールエラーとして示されます。

包括的な VERIFIED フィールドはありません。各スコープ付きチェックとそのバージョン、理由コード、および guarantee_boundary を確認してください。クリーンなレポートであっても、科学的真実や科学的妥当性を立証するものではありません。

厳密性と再実行

MCP の応答では、同一の検証器呼び出しによるバイト列が保持されます。入力と出力の SHA-256 メタデータにより、その保持を検証できます。@licklider/[email protected] を使った別個の再実行では、実質的なアーティファクトが完全に再現されますが、検証器は実行ごとにトップレベルの generated_at タイムスタンプを新しく生成する仕様です。そのため、別々の呼び出しがバイト単位で同一だと正直に説明することはできません。テストでは、他のすべてのフィールドが一致すること、および MCP 呼び出し内でバイト単位の保持が行われることを要件としています。

独立して再実行するには、同じ record_json テキストを保存し、次を実行してください。

npx --yes @licklider/[email protected] verify ./record.json --format json-compact

サポート対象の環境

トランスポート	オペレーティングシステム	Node.js	認証	実行時のネットワーク
stdio	Linux、macOS、Windows	20 または 22	なし	不要

パッケージでは node >=20 が宣言されています。リリース CI マトリックスは、3 つすべてのオペレーティングシステムで Node.js 20 および 22 を実行するよう設定されています。公開 CI ジョブと、対応するクリーンプロファイルのクライアントチェックが成功するまでは、オペレーティングシステムとクライアントの組み合わせについて、リリーステスト済みだと主張しないでください。

レジストリメタデータ

server.json とパッケージの mcpName は、公式 MCP Registry に合わせてあります。

io.github.licklider-ai/nomue-verifier-mcp

レジストリアーティファクトには、npm パッケージと stdio トランスポートのみが記載されています。ホスト型 HTTP、SLA、認証、ロギング、レート制限は意図的にフェーズ 1 の対象外としています。公開準備とディレクトリへの登録手順については、registry/SUBMISSIONS.md をご覧ください。

開発

このディレクトリで、次を実行します。

npm ci
npm test
npm run test:cursor-plugin
npm run test:package

パッケージのスモークテストでは、パスにスペースを含む場所に tarball をパックしてインストールし、生成された npm 実行可能シムを起動して、ツールの一覧表示と、有効なレコード、不一致のレコード、空のレコードの呼び出しを行います。また、出力が保持されることを確認し、起動時間が 10 秒以内であることを検証します。この時間制限の対象は、MCP プロセスの起動とツールの検出のみです。各検証呼び出しは、リソース制限が設定された別個の子プロセスで実行されます。上限は 60 秒で、これを超えると失敗として扱われるため、サポート対象ホストでの Node.js／tsx のコールド起動が MCP の起動失敗と誤判定されることはありません。

セキュリティ、非主張事項、ライセンス

SECURITY.md、NON-CLAIMS.md、LICENSE をご覧ください。