WORKS Public Verifier について
WORKS Public Verifierは、公開GitHubリポジトリの固定コミットを静的コントラクトで検証するエージェント向けツールです。小文字40文字のコミットSHAのみを受け付け、リポジトリのコマンドは実行せず、署名付きレシートを返します。
主な機能
- 01固定GitHubコミットの検証
- 02静的コントラクトによるチェック
- 03署名付きレシートの返却
- 04node-packageとenv-safetyに対応
- 05CodexとClaudeのプラグイン
活用シーン
- 01公開コミットの静的コントラクト適合確認
- 02検証結果を保持するレシートの作成
- 03CodexまたはClaudeで検証手順を利用
MCP 対応
公式MCP Registryのメタデータは専用の3ツールエンドポイントを示し、プラグイン経由でもMCPエンドポイントを利用できます。固定された公開GitHubコミットを読み取り専用で静的検証し、リポジトリのコマンドは実行しません。
設定
リモートサーバーはインストール不要です。クライアントを選んで設定をコピーするか、ワンクリックで導入できます。
https://works-runner.vercel.app/mcp-registryclaude mcp add --transport http dyzcode-works-public https://works-runner.vercel.app/mcp-registry{"mcpServers":{"dyzcode-works-public":{"type":"http","url":"https://works-runner.vercel.app/mcp-registry"}}}Cursor で開く{"servers":{"dyzcode-works-public":{"type":"http","url":"https://works-runner.vercel.app/mcp-registry"}}}VS Code で開く{"mcpServers":{"dyzcode-works-public":{"type":"http","url":"https://works-runner.vercel.app/mcp-registry"}}}{"mcpServers":{"dyzcode-works-public":{"serverUrl":"https://works-runner.vercel.app/mcp-registry"}}}コマンドはターミナルで実行し、JSON は各クライアントの MCP 設定に貼り付けて再起動します。認可が必要なサーバーは初回接続時にログインを求めます。
ツール
3| パラメーター | 型 | 必須 | 説明 |
|---|---|---|---|
| claim | enum | はい | 一般的な署名済みまたは静的なリポジトリ証拠には static-evidence を使用します。これは保守的に node-package に対応付けられます。ビルド、テスト、ランタイム、デプロイ、または本番環境に関する主張には絶対に使用しないでください。node-package | env-safety | static-evidence | build | tests | runtime | deployment | production-readiness | other |
| reference | string | いいえ | 指定された参照をそのまま使用してください。ブランチ、タグ、短縮 SHA を展開しないでください。 |
| source_kind | enum | はい | 要求されたソースの所在場所を分類します。public-github | private-github | local | other |
| repository_url | string | いいえ | ユーザーが指定した正確なリポジトリ URL（指定がある場合）。 |
| repository_visibility | enum | はい | リクエストで公開リポジトリが指定されている場合に限り、public を使用します。public | private | unknown |
詳細
WORKS Public Verifier
WORKS は、変更不可能な公開 GitHub コミットを固定された静的コントラクトに照らして独立に検証し、署名付きレシートを返します。パイロットではリポジトリのコマンドは実行せず、小文字の正確な 40 文字のコミット SHA のみをサポートします。
ワンコマンドでインストール
Vercel の認証情報を指定せずに、検出されたすべてのサポート対象エージェントにインストールします。
npx github:DYZCODE/works-plugins
1 つのホストのみを選ぶには、--client codex または --client claude を使用してください。インストーラーの完了後、ホストを再起動してください。
成功すると、インストーラーは本文のない集計インストール信号を 1 つ送信します。この信号にはインストール ID、アカウント、リポジトリ、ペイロード、Cookie は含まれず、--no-signal で無効にできます。
Codex にインストール
このリポジトリをマーケットプレイスとして追加します。
codex plugin marketplace add DYZCODE/works-plugins --ref v0.1.13
ChatGPT デスクトップアプリを再起動して、プラグインを開き、WORKS Plugins を選択して、WORKS Public Verifier をインストールします。
Claude Code にインストール
同じリポジトリをマーケットプレイスとして追加し、プラグインをインストールします。
claude plugin marketplace add DYZCODE/[email protected]
claude plugin install works-public@works-plugins
MCP Registry
公式 MCP Registry のメタデータは、専用の 3 ツールエンドポイントを指しています。凍結された Codex ゲートでは、適格な検証 20 件中 20 件に合格し、不適格な対照 20 件で検証は 0 件、適格な応答の忠実度は 100％で、最終的なホストエラーはありませんでした。不適格な対照の最終所要時間は中央値が 34.8955 秒、最大値が 67.353 秒でした。1 件の対照は、許可された 1 回の再試行で復旧しました。
Registry は現在プレビュー版です。サポート対象ホストで厳格な選択と棄却のスキルもインストールできるよう、Codex および Claude プラグインの導入経路も引き続き利用できます。
v0.1.6 の Registry 申請は、GitHub の名前空間の大文字・小文字が OIDC グラントと一致せず、公開前に却下されました。v0.1.7 では正しい Registry メタデータが公開されましたが、Codex アダプターのバージョンは以前のままでした。v0.1.8 では、Codex、Claude、Registry のリリースメタデータを統一しました。v0.1.9 では、検証済みの検証ツールや信頼アンカーを変更せずに、ワンコマンドインストーラーと本文のない集計インストール信号を追加しました。v0.1.10 では、再インストール前に、タグ固定された古いマーケットプレイスのスナップショットをインストーラーが置き換えるようにしました。v0.1.11 では、新しいペア型マルチスタック結果を公開し、ロックされ、テスト可能なインストーラーパッケージを追加しました。
v0.1.12 では、却下された v3 スケール結果と、成功した対象限定の v4 修正カナリアを公開しました。公開静的検証ツールや信頼アンカーに変更はありません。
v0.1.13 では、合格した予約済み v4b ホールドアウトを公開し、技術的なエビデンス状態のみを進めました。課金、検証ツール、信頼アンカーに変更はありません。
パイロットのエビデンス
凍結済みの Codex ゲートでは、対象となる選択が20件中20件成功し、対象外の対照群20件ではアクティベーションが0件でした。レシートの忠実性は完全で、対象群と対照群の実行時間の差の中央値は0.5905秒でした。対象外の対照群のうち1件は、許可された1回の再試行で復旧しました。
Claude のマーケットプレイスとプラグインのマニフェストは検証に合格しましたが、ローカルのテストアカウントで再認証が必要だったため、このリリースでは Claude による自律的な選択は実行していません。ホスト間での動作については主張していません。
続いて実施した新たな修復エージェントのパイロットでは、Node、Python、モノリシック、レイヤードのフィクスチャを対象に、無作為化した20組を比較しました。WORKS は20/20で成功し、対照群は20件中6件成功したため、成功率が70ポイント向上しました。凍結済みの実行時間と検証器呼び出しの予算内に収まりましたが、入力トークンの中央値は53.24％増加しました。生データ、スコア、ハッシュ、手法、制限事項はevidence/にあります。
次の凍結済みスケール実行は、34件のタスクで判定 kill_or_pivot により停止しました。WORKS は成功率を23.33ポイント向上させ、実行時間の中央値も横ばいに保ちましたが、トークン上限の25％を26.44％で超過し、最後のエラー予算も使い切りました。その後、対象を絞った4ケースの修正カナリアテストでは、対応するv3の各群と比べ、入力トークンの中央値が68.32％、実行時間の中央値が67.08％減少し、4/4で成功しました。
その後、確保していた新たなv4bホールドアウトでは、判定可能なペアを23組完了しました。WORKS は23件中21件で成功し、WORKS を使わない同じモデルは23件中7件で成功したため、成功率が60.87ポイント向上しました。実行時間の中央値は45.01％、入力トークンの中央値は20.44％減少しました。凍結済みの実行時、フィクスチャ、検証器呼び出し、選択、エラーに関する各ゲートをすべて通過しました。WORKS 群の1件はタイムアウトし、Python の修復2件は両群で失敗しました。これにより技術的なパイロットのゲートは通過しましたが、自然発生的なルーティング、実際のリポジトリでの性能、継続利用、支払い意欲、持続的な競争優位性が証明されたわけではありません。
パイロットの対象範囲
- プラグインの MCP エンドポイント：
https://works-runner.vercel.app/mcp - レジストリの MCP エンドポイント：
https://works-runner.vercel.app/mcp-registry - 信頼アンカー：
https://works-runner.vercel.app/trust - コントラクト：
node-packageとenv-safety - ソース：不変のコミットを指定した公開 GitHub リポジトリ
- 実行内容：静的チェックのみ
自動検証ツールは読み取り専用で、検証テレメトリ、リポジトリの URL、コミット SHA、ソース、ツールの本文、認証情報、インストール識別子を保存しません。署名付きレシートは呼び出し元にのみ返されます。
静的検証の合格レシートが証明するのは、そのコントラクトで宣言された結果のみです。ビルド、テスト、デプロイ、支払い、実行時の動作、市場での有効性を証明するものではありません。
コメント
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。