Install
via Positronick CLI
$positronick mcp install lean-ctx --run
Official
$git clone https://github.com/yvgude/lean-ctx
Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust binary that decides what they read, remembers what they learn, guards what they touch, and proves what they save. 60–90% fewer tokens as the receipt. 76 MCP tools, 30+ agents, local-first. Install via `git clone` of the repository; no package install command was found in the source.