Feature Request: proofshot doctor command for environment diagnostics

Feature Request: proofshot doctor command for environment diagnostics: a task in LegoFlow-SWE (Harbor dataset). The output should be human-readable and give users an immediate overview of their environment, helping them identify common issues before running other ProofShot workflows.