← Catalog
MCP Official

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…

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.