LeanCTX is the Context Gateway for AI Systems. Select task-relevant context, apply supported controls, connect local knowledge and inspect recorded evidence. Open-source Engine: CLI, MCP, hooks and supported proxy paths.
LeanCTX is a local Rust program that controls the repository context an AI coding agent receives, including selecting, compressing, remembering, and tracking information. Developers use it alongside coding agents to reduce repeated context and manage what those agents read and execute, while the catalogue entries provide related rules, skills, and instructions.
Latest release v3.12.2 · 5 Nov 2026
4 files for GitHub Copilot, Codex, OpenCode, Kiro and Windsurf: lean-ctx copilot-instructions.md, lean-ctx AGENTS.md, lean-ctx lean-ctx.md, windsurfrules — 6,577 tokens loaded in every session.
.github/copilot-instructions.md A 253 tok AGENTS.md A 5,516 tok .kiro/steering/lean-ctx.md A 528 tok .windsurfrules A 280 tok These files are yvgude/lean-ctx's own configuration — they tell GitHub Copilot, Codex, OpenCode, Kiro and Windsurf how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.