HOL Registry Broker

Codex-facing stdio MCP for the HOL Registry Broker. Tools: `registryBroker.delegate` (delegate, shortlist, or handle locally), `registryBroker.findAgents`, `registryBroker.summonAgent`, and `registryBroker.sessionHistory`. Apache-2.0.

Project · Homepage · Documentation

Browse this MCP server in the TensorBlock MCP Index.