Module addons 

Addon ecosystem: community extensions for lean-ctx (#858).

An addon packages an external MCP server (+ metadata) behind a small lean-ctx-addon.toml manifest, so a third-party tool plugs into lean-ctx’s MCP gateway with a single lean-ctx addon add — no fork, no recompile. Addons are user-global and reuse the gateway trust model ([gateway] is global-only and opt-in; see crate::core::gateway).

Layers:

• manifest — the lean-ctx-addon.toml contract (also the registry entry shape).
• registry — the curated catalog (bundled, with optional user override).
• store — what is installed locally (<data_dir>/addons/installed.json).
• install — wires an addon into the gateway and records it in the store.

Re-exports

pub use manifest::AddonManifest;

pub use manifest::AddonMcp;

pub use manifest::AddonMeta;

pub use store::InstalledAddon;

pub use store::InstalledStore;

Modules

install

Install / remove logic: wire an addon’s MCP server into the global gateway and record it in the installed store.

manifest

The lean-ctx-addon.toml manifest — the contract an addon author writes.

registry

The curated addon catalog.

store

Installed-addon state: <data_dir>/addons/installed.json.