AI UNDERDOGS
Back
0:00 / 1:00
#052

Lean

github.com/albertobarnabo/lean
Claude CodePrompt engineeringToken optimizationOpen source
115 views💬 0 comments🔗 0 visits

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

Product taste

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

Real craft

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

mamba99

TECH GUESS

Claude Code custom skills — Markdown instruction files with shell hooks

📍 Source: hn📅 2026-06-09Original post →Visit site →
Ad
Ad slot (AdSense unit renders here once connected)

Discussion (0)

Sign in with GitHub to post
  • No comments yet — be the first.

Related