I used Lean for AoC last time and it’s really good.