Use LeanCTX Context Gateway tools to select task-relevant code context, apply supported controls, reuse local knowledge and inspect recorded evidence. Use when lean-ctx MCP tools (ctx_*) are available or file, search or command output needs a focused view.
Install
npx skills add yvgude/lean-ctx --skill lean-ctxnpx skills add yvgude/lean-ctx --skill lean-ctx -a claude-code -gnpx skills add yvgude/lean-ctx --skill lean-ctx -a codex -ggemini skills install https://github.com/yvgude/lean-ctx.git --path skills/lean-ctxgh skill install yvgude/lean-ctx lean-ctxgit clone --depth 1 https://github.com/yvgude/lean-ctx /tmp/yvgude__lean-ctx
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/yvgude__lean-ctx/skills/lean-ctx ~/.claude/skills/lean-ctx # Claude Code
cp -R /tmp/yvgude__lean-ctx/skills/lean-ctx ~/.agents/skills/lean-ctx # Codex, Cursor, Gemini CLI, Copilot, OpenCode