Guardrail Your Agents with Lean | Hacker News Reader