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

[0.0, 200, '**/*.lean', '*.lean', '-', '--', '--json', '--pythia-only', '--recursive', '--summary', '0 files', 'ERROR', 'FAIL', 'FILE', 'PASS', 'Pythia', 'SCORE', 'SORRY', 'STATUS', 'add_subparser', 'cmd_verify_batch', 'compiles', 'directory', 'error', 'errors', 'failed', 'has_sorry', 'import ', 'json_out', 'proved', 'pythia_only', 'score', 'sorry', 'sorry_count', 'store_true', 'verify-batch']