{"repo":"yvgude/lean-ctx","free":true,"listed":false,"github":"https://github.com/yvgude/lean-ctx","clone":"git clone https://github.com/yvgude/lean-ctx.git","description":"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.","language":"Rust","stars":3589,"topics":["ai","cursor","llm","mcp","rust","token-optimization","agentic-coding","claude-code","copilot","developer-tools"],"license":"Apache-2.0","category":"ai-agents","readme_excerpt":"██╗ ███████╗ █████╗ ███╗ ██╗ ██████╗████████╗██╗ ██╗ ██║ ██╔════╝██╔══██╗████╗ ██║ ██╔════╝╚══██╔══╝╚██╗██╔╝ ██║ █████╗ ███████║██╔██╗ ██║ ██║ ██║ ╚███╔╝ ██║ ██╔══╝ ██╔══██║██║╚██╗██║ ██║ ██║ ██╔██╗ ███████╗███████╗██║ ██║██║ ╚████║ ╚██████╗ ██║ ██╔╝ ██╗ ╚══════╝╚══════╝╚═╝ ╚═╝╚═╝ ╚═══╝ ╚═════╝ ╚═╝ ╚═╝ ╚═╝ Control what your AI can see. LeanCTX — AI Value Gate for AI Coding Agents LeanCTX — short for Lean Context — is an AI Value Gate and context engineering layer for AI coding agents. It runs locally alongside your coding agent, helping it read repositories, run development commands, and send focused context to the model: it understands the task, routes the right context, compresses what it sends, and tracks the cost and outcome of that work. The result: 50–80% fewer tokens where compression applies. Zero config required. Local-first. Problem With LeanCTX --------- ------------- Repeated file reads: 2000 tokens each Cached re-reads: 13 tokens Raw git status : 800 tokens Compressed: 120 tokens Every turn re-sends the whole history Proxy compresses each request, prompt-cache-safe Context resets every chat Session memory persists across chats No visibility into context usage Real-time dashboard + budget control ---    Website   ·   Docs   ·   Install   ·   SDKs   ·   Scenarios   ·   Demo   ·   Benchmarks   ·   Cookbook   ","default_branch":null,"files":null,"tree":[],"storefront":"/r/yvgude","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/yvgude/lean-ctx/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}