
Lean
github.com/albertobarnabo/lean →Cut Claude's token waste by 80%
WHAT IT SOLVES
Claude Code reaches for the sledgehammer every time — wrapping simple logic in unnecessary abstractions and burning tokens on boilerplate you never asked for
WHY IT'S INTERESTING
Two skills = one philosophy
Instead of piling on restrictive rules, Lean teaches Claude to find the clever path before writing code. Two concise skills distill "don't over-engineer" into instructions Claude actually follows
17 benchmarks measured, 8× fewer median tokens
No hand-waving — the author ran 17 real-world tasks with and without Lean, and published the charts. Median token count dropped 8×. Numbers you can actually verify
「Teaches Claude to find the clever path before taking the obvious one」
TECH GUESS
Claude Code custom skills — Markdown instruction files with shell hooks
Discussion (0)
- No comments yet — be the first.
Related
#062▶ 191Claude coded an entire game and it's actually fun
#061▶ 100Your AI conversations deserve an encrypted vault
#060▶ 123Someone vibe-coded an actual MMO with Fable 5