mcp-use + EVC 認可の例

このスタンドアロン例は、既存の mcp-use TypeScript ミドルウェアのシームの背後に、Bolyra External Verifier Contract v1 のホスト境界を配置します。ゲートウェイは vault_echo をプロキシし、単発の外部ベリファイアを起動して、そのクローズドな判定エンベロープを検証し、allow が返された場合にのみ next() を呼び出します。

実行

npm install
npm test
npm run dev

印刷された URL を開くと、組み込みの mcp-use Inspector を使用できます。vault_echo を次の内容で呼び出します:

{
  "message": "hello",
  "bundle": "demo-valid-bundle",
  "agentName": "research-bot",
  "model": "demo-model"
}

bundle を他の任意の値に変更すると、アップストリームサーバーが実行される前に外部ベリファイアが呼び出しを拒否するのを確認できます。

ホストアダプターは、EVC の重要なメカニズム、すなわち、stdin 上の 1 リクエスト、stdout 上の 1 つの有界な判定、タイムアウトとプロセス障害の処理、厳密な判定形状、ディスパッチ前の nonce 予約処理、そしてフェイルクローズド動作を示しています。このベリファイアは、意図的に小さな外部クラスのデモであり、Bolyra の ZK ベリファイアではありません。

EVC は独立した第三者契約であり、MCP または mcp-use の一部ではありません。