Title: The Lean List Planner