Configuration for external context providers (GitHub, GitLab, Jira, etc.).
Each provider can be enabled/disabled and configured with auth tokens.
Override individual tokens via env vars (GITHUB_TOKEN, GITLAB_TOKEN, etc.).
Controls what lean-ctx injects during setup and update --rewire.
Fresh installs default to non-invasive (rules/skills off, MCP on).
Users who ran setup interactively get explicit true/false.
None = undecided (legacy: check if rules already exist and preserve behavior).
AI session summaries (#292): periodically distil the working session into a
compact, semantically recallable summary so a future session can answer
“what did I do last time on X?”. Deterministic and local-first — recall uses
embeddings when the embeddings feature is on, else a lexical fallback.
The three resolved provider upstreams a running proxy forwards to. Published
to request handlers via a tokio::sync::watch channel so a config change is
picked up live, without a proxy restart (#449).
Legacy: Controls how dense/compact MCP tool output is formatted.
Superseded by CompressionLevel. Kept for backward compatibility with old config.toml files.
New setups use compression_level instead. See CompressionLevel::effective().
Legacy: Controls agent output verbosity level injected into MCP instructions.
Superseded by CompressionLevel. Kept for backward compatibility with old config.toml files.
New setups use compression_level instead. See CompressionLevel::effective().
Diagnose upstream drift for one provider from the CLI-visible env override
(env), the config.toml value (disk) and the proxy’s live value (live).
None means in sync.
The LEAN_CTX_*_UPSTREAM override visible to this process for a provider,
normalized (None if unset/blank). Lets status/doctor explain why an env var
a user exported in their shell never reaches an MCP/service-spawned proxy.