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

[3600, '$schema', 'ANTHROPIC_API_KEY', 'ATH-719', 'FAIL', 'GEMINI_API_KEY', 'MISTRAL_API_KEY', 'OPENAI_API_KEY', 'PASS', 'WARN', '_pending', 'adapter_used', 'additionalProperties', 'aggregate_verdict', 'anthropic', 'array', 'axiom_audit_clean', 'boolean', 'cbmc', 'certify', 'checks', 'claude-haiku-4-5', 'cvc5', 'dafny', 'default', 'default_model', 'description', 'detector_matches', 'dispatch', 'ebmc', 'enum', 'env_var', 'eprover', 'error', 'failed', 'force_adapter', 'function', 'gemini', 'gemini-2.5-flash', 'goal_text', 'gpt-4o-mini', 'hypotheses_jsonl', 'hypothesis', 'input_schema', 'integer', 'items', 'lean_path', 'leanstral-1', 'maximum', 'minLength', 'minimum', 'mistral', 'name', 'null', 'object', 'openai', 'parameters', 'pattern_id', 'properties', 'proved', 'reject_vacuous', 'required', 'result_schema', 'results', 'show_lean', 'simple_prove', 'spec_path', 'string', 'summary', 'timeout_sec', 'total', 'transcript', 'type', 'use_case', 'used_llm', 'vacuous_truth_clean', 'vampire', 'verdict', 'verify_batch']