yvgude/lean-ctx
LeanCTX (Lean Context) — context intelligence for AI agents. One local binary that decides what your agents read, remembers what they learn, guards what they touch, and proves what they save. 60–90% fewer tokens as the receipt. 30+ tools, Rust, local-first.