Lean Ctx
Lean Ctx is an agent skill (a SKILL.md file) from yvgude/lean-ctx. Pick the right lean-ctx tool for reading, searching, understanding and running code with fewer tokens and fewer round trips. It works with Claude Code, Codex, Cursor, Gemini CLI, GitHub Copilot and OpenCode and has 3,865 GitHub stars across a repository of 2 listed skills.
github.com/yvgude/lean-ctx/rust/src/templates (opens in a new tab)
- Multi-skill repo
- Coding
- Actively maintained
Add this skill
Claude
Claude Code loads skills from ~/.claude/skills/ (all projects) or .claude/skills/ (one project):
git clone --depth 1 https://github.com/yvgude/lean-ctx.git
cp -r lean-ctx/rust/src/templates ~/.claude/skills/lean-ctx # personal, or .claude/skills in a projectIn the Claude apps, zip the lean-ctx folder and upload it under Customize > Skills > + > Upload a skill (code execution must be on).
ChatGPT / Codex
Codex reads skills from .agents/skills/ in a repo or ~/.agents/skills/ for every project:
git clone --depth 1 https://github.com/yvgude/lean-ctx.git
cp -r lean-ctx/rust/src/templates .agents/skills/lean-ctx # repo; ~/.agents/skills for all projectsStandalone skills also load in the ChatGPT desktop app.
Cursor
Cursor loads skills from .cursor/skills/ (or ~/.cursor/skills/) and also reads .claude/skills/:
git clone --depth 1 https://github.com/yvgude/lean-ctx.git
cp -r lean-ctx/rust/src/templates .cursor/skills/lean-ctx # project; ~/.cursor/skills for all projectsSource (checked Oct 7, 2026): code.claude.com/docs/en/skills (opens in a new tab), support.claude.com/en/articles/12512180-using-skills-in-claude (opens in a new tab), learn.chatgpt.com/docs/build-skills (opens in a new tab), cursor.com/docs/context/skills (opens in a new tab)
What this skill does
Pick the right lean-ctx tool for reading, searching, understanding and running code with fewer tokens and fewer round trips. Use when lean-ctx MCP tools (ctx_*) are available or when a command output, file read or search would be large. Control what your AI can see. LeanCTX Engine provides local context selection, supported access and content controls, and evidence of observed context operations for existing agents: Select → Control → Prove.
When it triggers
- Use when lean-ctx MCP tools (ctx_*) are available or when a command output, file read or search would be large.
More skills in yvgude/lean-ctx
2 skills are listed from this repository.
Similar skills
More coding skills
Requesting Code Review
obra/superpowers
Use when completing tasks, implementing major features, or before merging to verify work meets requirements.
CodingShellReceiving Code Review
obra/superpowers
Use when receiving code review feedback, before implementing suggestions, especially if feedback seems unclear or technically questionable - requires technical rigor and verification, not…
CodingShellImprove Codebase Architecture
mattpocock/skills
Scan a codebase for deepening opportunities, present them as a visual HTML report, then grill through whichever one you pick.
CodingShellSetup Matt Pocock Skills
mattpocock/skills
Configure this repo for the engineering skills: set up its issue tracker, triage label vocabulary, and domain doc layout.
CodingShellCode Review
mattpocock/skills
Review the changes since a fixed point (commit, branch, tag, or merge-base) along two axes: Standards (does the code follow this repo's documented coding standards?) and Spec (does the code match…
CodingShellSetup Ts Deep Modules
mattpocock/skills
Wire dependency-cruiser into a TypeScript repo so each package is a deep module, with implementation hidden in subfolders and reachable only through its entry-point files.
CodingShell
What is the Lean Ctx skill?
Lean Ctx is an agent skill (a SKILL.md file) from yvgude/lean-ctx. Pick the right lean-ctx tool for reading, searching, understanding and running code with fewer tokens and fewer round trips. It works with Claude Code, Codex, Cursor, Gemini CLI, GitHub Copilot and OpenCode and has 3,865 GitHub stars across a repository of 2 listed skills. Its SKILL.md lives at github.com/yvgude/lean-ctx/rust/src/templates.
How do I install the Lean Ctx skill?
Copy the lean-ctx folder (the one containing SKILL.md) into ~/.claude/skills/ for Claude Code, .agents/skills/ for Codex or .cursor/skills/ for Cursor. The agent picks it up automatically when a task matches its description.
Is the Lean Ctx skill free?
Yes. The repository is open source under the Apache-2.0 license.
Is Lean Ctx maintained?
The repository's most recent commit was on Oct 7, 2026. Its latest release is v3.10.5. appsgit only lists skills from repositories with a commit in the last six months.