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

[0.0, 0.7, 600, 800, 3600, 7200, '$schema', 'ANTHROPIC_API_KEY', 'ATH-719', 'FAIL', 'GEMINI_API_KEY', 'MISTRAL_API_KEY', 'OPENAI_API_KEY', 'PASS', 'WARN', '_paid', '_pending', '_product', 'adapter_used', 'additionalProperties', 'aggregate_verdict', 'anthropic', 'array', 'axiom_audit_clean', 'banned', 'boolean', 'cbmc', 'certify', 'checks', 'claude-haiku-4-5', 'code', 'compiles', 'cvc5', 'dafny', 'default', 'default_model', 'description', 'detector_matches', 'dispatch', 'drafters', 'ebmc', 'enum', 'env_var', 'eprover', 'error', 'errors', 'failed', 'force_adapter', 'function', 'gemini', 'gemini-2.5-flash', 'goal_text', 'gpt-4o-mini', 'has_sorry', 'header', 'hypotheses_jsonl', 'hypothesis', 'imports', 'input_schema', 'integer', 'items', 'lake_project', 'lean_check_signature', 'lean_path', 'lean_race', 'lean_solve', 'lean_verify', 'leanstral-1', 'max_rounds', 'max_tokens', 'maximum', 'minLength', 'minimum', 'mistral', 'module_path', 'n_per_drafter', 'name', 'null', 'number', 'object', 'ok', 'openai', 'opens', 'parameters', 'pattern_id', 'properties', 'proved', 'reject_vacuous', 'required', 'result_schema', 'results', 'score', 'show_lean', 'skipped', 'solve', 'sorry_count', 'spec_path', 'stmt', 'string', 'summary', 'target_id', 'temperature', 'timeout_sec', 'timeout_seconds', 'total', 'transcript', 'type', 'use_case', 'used_llm', 'vacuous_truth_clean', 'vampire', 'verdict', 'verify_batch']