atp_lean_copilot