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.
Instructions file GitHub Copilot
Instructions for yvgude/lean-ctx, a project described as: 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…
Instructions file CodexOpenCode
Instructions for yvgude/lean-ctx, covering context engineering layer, mandatory multi-agent delivery, integration mode: replace, subagent compatibility (cursor / claude code) and cli commands (optimized shell, lower overhead).