Show HN: Spend weekend Claude tokens making your code bulletproof with Lean | Heykuki News