Skip to main content

load

Function load 

Source
pub fn load() -> BTreeMap<String, String>
Expand description

Load captured agent runtime variables, honoring the freshness TTL.

When no valid capture exists, falls back to probing the parent process’s environment (#800). This covers the case where the lean-ctx MCP server was spawned by an agent that sets runtime vars only in native shell commands (e.g. Codex with CODEX_THREAD_ID) without going through lean-ctx -c first.