Expand description
lean-ctx addon — manage community addons (MCP extensions) (#858).
Thin CLI over crate::core::addons: browse the registry, install an addon
(from the registry or a local lean-ctx-addon.toml), and remove it. add
and remove wire external code into the MCP gateway, so both pass through
the shared confirmation gate (cli::prompt).