# file: /home/azureuser/agents/qa/athanor-sdk/src/kairos/env.py
# hypothesis_version: 6.152.1

[0.0, 0.95, 300, 8000, '--rm', '--user', '-c', '/workdir/data/', 'ANTHROPIC_API_KEY', 'GEMINI_API_KEY', 'GOOGLE_API_KEY', 'No task specified', 'OPENAI_API_KEY', 'anthropic', 'bash', 'checks_passed', 'claude', 'dafny_file', 'data', 'description', 'difficulty', 'error', 'files', 'gemini', 'kernel_file', 'lean_error', 'lean_file', 'lean_status', 'local', 'root', 'run', 'score', 'scoring_metadata', 'solution.py', 'solution_file', 'source_file', 'source_files', 'stub_code', 'stub_filename', 'student_file', 'student_files', 'sv_file', 'task_description', 'task_id', 'task_slug']