Module cli 

CLI subcommand wiring.

The default subcommand is serve, which boots the rmcp stdio transport against a ProjectBroker. install_worker (sub)builds and installs a per-toolchain worker binary into WorkerBinary::install_root. config_init writes a documented starter config file.

Modules

config_init

lean-host-mcp config init: write a documented starter config file.

install_worker

lean-host-mcp install-worker: build the worker binary against a specific Lean toolchain and place it under WorkerBinary::install_root.

processes

Process-registry diagnostics for lean-host-mcp servers.