lean_ctx/core/addons/mod.rs
1//! Addon ecosystem: community extensions for lean-ctx (#858).
2//!
3//! An **addon** packages an external MCP server (+ metadata) behind a small
4//! [`lean-ctx-addon.toml`](manifest) manifest, so a third-party tool plugs into
5//! lean-ctx's MCP gateway with a single `lean-ctx addon add` — no fork, no
6//! recompile. Addons are user-global and reuse the gateway trust model
7//! (`[gateway]` is global-only and opt-in; see [`crate::core::gateway`]).
8//!
9//! Layers:
10//! - [`manifest`] — the `lean-ctx-addon.toml` contract (also the registry entry shape).
11//! - [`registry`] — the curated catalog (bundled, with optional user override).
12//! - [`store`] — what is installed locally (`<data_dir>/addons/installed.json`).
13//! - [`install`] — wires an addon into the gateway and records it in the store.
14
15pub mod install;
16pub mod manifest;
17pub mod registry;
18pub mod store;
19
20pub use manifest::{AddonManifest, AddonMcp, AddonMeta};
21pub use store::{InstalledAddon, InstalledStore};