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

[0.0, 0.75, 1.0, 6.0, 100, 120, 1024, 1200, 2000, 3600, 4096, '\x1b[0m', '\x1b[31m', '\x1b[32m', '#', '# Comment', '# Comment 2', '# Comment 3', '# Comment 4', '# Comment 5', '+', ',', '-', '--all-tasks', '--api-key', '--category', '--description', '--difficulty', '--encrypted', '--env', '--extra-model', '--file', '--fleet', '--fleet-task', '--intent-json', '--intent-json-file', '--limit', '--metric', '--model', '--name', '--output', '--patch', '--per-task', '--plaintext', '--platform', '--proof-backend', '--rm', '--run', '--run-id', '--scoring', '--set', '--task', '--tasks', '--timeout', '--token', '--user', '--verbose', '-C', '-c', '-cf', '-o', '-v', '.', '...', './', '.athanor', '.dfy', '.json', '.lean', '.proof', '/', '/workdir/data', '/workdir/data/', '0.000', '2023-06-01', '=', '?', 'ANTHROPIC_API_KEY', 'ATHANOR_BUILDER_BIN', 'ATHANOR_PUBKEY_FPR', '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 spec.json', 'Path to student file', 'Platform URL', 'Runner name', 'Sync token', 'Task ID', 'Task slug', 'User-Agent', '\\{[\\s\\S]*\\}', '_', '__main__', '_lock', 'acceptance_criteria', 'anthropic-version', 'append', 'application/json', 'artifacts_expected', 'athanor', 'audit', 'audit_voices', 'backend', 'banned_tactics', 'bash', 'bmc', 'bmc_k_bound', 'bootstrap', 'bootstrap_sub', 'budget', 'bug_fix', 'build', 'bundle', 'calibrate', 'cat', 'checks', 'claude-opus-4-6', 'clean', 'command', 'compare', 'compilation', 'completed_at', 'config', 'config.json', 'content', 'content-type', 'counterexample', 'created_at', 'customer_note', 'dafny', 'data', 'date', 'default', 'delta', 'description', 'easy', 'ebmc', 'env', 'env_dir', 'environment', 'error', 'errors', 'estimate', 'eval-status', 'evaluate', 'extension', 'extra_files', 'file', 'free_text', 'hard', 'hints', 'id', 'implementation', 'kernel_file', 'known_hypotheses', 'lean', 'lean4', 'lean_file', 'lean_filename', 'lean_proof', 'license.json', 'lint', 'local', 'max_tokens', 'mean', 'mean_score', 'medium', 'messages', 'metadata', 'mode_fleet', 'model', 'mutation_sweep', 'my_theorem_name', 'none', 'operational', 'optimization', 'output_match', 'overall', 'pairs', 'passed', 'path/to/target.lean', 'pathlib', 'per_task', 'preferred_lemmas', 'preflight', 'priority', 'proof', 'proof_backend', 'proof_template', 'proofs', 'property_test_count', 'property_tests', 'pubkey.asc', 'pull', 'refresh-ghcr', 'replace', 'reset', 'results', 'retry_policy', 'role', 'root', 'run', 'run_a', 'run_b', 'run_id', 'runs', 'score', 'score_a', 'score_b', 'scoring_config', 'scoring_metadata', 'set', 'simulation', 'simulator', 'solution_file', 'solve', 'sorry_count', 'spec', 'spec-%Y%m%dT%H%M%SZ', 'spec_sub', 'start', 'stats', 'status', 'stop', 'store_true', 'stub_code', 'stub_filename', 'student_file', 'student_files', 'submit', 'summary', 'sv_file', 'tar', 'target_file', 'target_name', 'task', 'task-info', 'task_count', 'task_description', 'task_id', 'task_slug', 'tasks', 'template', 'text', 'thresholds', 'time_seconds', 'tool_calls_total', 'total', 'translation', 'triple_audit', 'usd', 'user', 'utf-8', 'verification', 'verify-bundle', 'vertical', 'verus', 'violations', 'w', 'wall_seconds', 'wb', 'x-api-key', '~/.athanor', '—', '✓', '✗']