# file: /home/azureuser/agents/platform/athanor-sdk/src/athanor/cli.py
# hypothesis_version: 6.152.1

[0.0, 1.0, 120, 1024, 2000, 4096, '\x1b[0m', '\x1b[31m', '\x1b[32m', '+', ',', '-', '--all-tasks', '--api-key', '--category', '--description', '--difficulty', '--encrypted', '--env', '--extra-model', '--file', '--fleet', '--fleet-task', '--limit', '--metric', '--model', '--name', '--output', '--patch', '--per-task', '--plaintext', '--platform', '--proof-backend', '--rm', '--run', '--scoring', '--set', '--task', '--tasks', '--timeout', '--token', '--user', '--verbose', '-C', '-c', '-cf', '-o', '-v', '.', '...', './', '.dfy', '.json', '.lean', '.proof', '/', '/workdir/data', '/workdir/data/', '0.000', '2023-06-01', '=', '?', 'ANTHROPIC_API_KEY', 'ATHANOR_TOKEN', 'Also complete', 'Authorization', 'Complete', 'Environment slug', 'FAIL', 'GET', 'KEY=VALUE', 'List verified proofs', 'Manage configuration', 'Model to use', 'No proofs found.', 'No runs found.', 'Number of tasks', 'Output JSON path', 'PASS', 'Path to Lean file', 'Path to student file', 'Platform URL', 'Runner name', 'Sync token', 'Task ID', 'Task slug', 'User-Agent', '\\{[\\s\\S]*\\}', '_', '__main__', '_lock', 'anthropic-version', 'append', 'application/json', 'athanor', 'backend', 'bash', 'bootstrap', 'bootstrap_sub', 'bug_fix', 'build', 'calibrate', 'cat', 'checks', 'claude-opus-4-6', 'clean', 'command', 'compare', 'compilation', 'completed_at', 'config', 'config.json', 'content', 'content-type', 'created_at', 'dafny', 'data', 'date', 'default', 'delta', 'description', 'easy', 'ebmc', 'env', 'env_dir', 'environment', 'error', 'errors', 'estimate', 'eval-status', 'evaluate', 'extra_files', 'file', 'hard', 'id', 'implementation', 'kernel_file', 'lean4', 'lean_file', 'lean_filename', 'lint', 'local', 'max_tokens', 'mean', 'mean_score', 'medium', 'messages', 'metadata', 'model', 'none', 'optimization', 'output_match', 'overall', 'pairs', 'passed', 'pathlib', 'per_task', 'preflight', 'proof_backend', 'proof_template', 'proofs', 'property_tests', 'pull', 'refresh-ghcr', 'replace', 'reset', 'results', 'role', 'root', 'run', 'run_a', 'run_b', 'run_id', 'runs', 'score', 'score_a', 'score_b', 'scoring_config', 'scoring_metadata', 'set', 'simulation', 'solution_file', 'solve', 'sorry_count', 'start', 'stats', 'status', 'stop', 'store_true', 'stub_code', 'stub_filename', 'student_file', 'student_files', 'summary', 'sv_file', 'tar', 'task', 'task-info', 'task_count', 'task_description', 'task_id', 'task_slug', 'tasks', 'text', 'time_seconds', 'tool_calls_total', 'total', 'translation', 'user', 'utf-8', 'verification', 'verus', 'violations', 'w', 'wb', 'x-api-key', '~/.athanor', '—', '✓', '✗']