prompt_lean_setup