mcp-use + EVC: пример авторизации

Этот автономный пример размещает границу хоста Bolyra External Verifier Contract v1 за существующим швом промежуточного слоя TypeScript mcp-use. Шлюз проксирует vault_echo, запускает одноразовый внешний верификатор, проверяет его закрытую оболочку вердикта и вызывает next() только после allow.

Запуск

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, один ограниченный вердикт на stdout, обработку тайм-аутов и сбоев процесса, строгие формы вердикта, обработку nonce с резервированием перед отправкой и поведение fail-closed. Верификатор намеренно представляет собой крошечную демонстрацию внешнего класса, а не ZK-верификатор Bolyra.

EVC — это независимый сторонний контракт и не является частью MCP или mcp-use.