lean
New19GitHub TrendingGeneralby albertobarnabo
Teaches Claude to find the clever path before taking the obvious one. 8× fewer tokens on the median real-world task — measured across 17 benchmarks.
Install & Usage
1
Create the skills directory
mkdir -p .claude/skills2
Download the skill file
mkdir -p .claude/skills && curl -o .claude/skills/lean.md https://raw.githubusercontent.com/albertobarnabo/lean/main/SKILL.md3
Invoke in Claude Code
/leanView source on GitHub
Frequently Asked Questions
What is lean?
Teaches Claude to find the clever path before taking the obvious one. 8× fewer tokens on the median real-world task — measured across 17 benchmarks.
How to install lean?
To install lean, create the .claude/skills directory in your project, then run the curl command to download the skill file. Once installed, invoke it in Claude Code with /lean.
What is lean best for?
lean is a community categorized under General. Created by albertobarnabo.