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

[0.0, 600, 'Tool %s raised', '__dataclass_fields__', '_pending', '_probe_license_tier', 'application/json', 'available_tools', 'available_uris', 'banned', 'build_server', 'callable', 'certify', 'cli_serve', 'compiles', 'description', 'dev_bypass', 'dispatch', 'error', 'error_kind', 'error_message', 'errors', 'free', 'getting_started', 'guidance', 'has_sorry', 'is_dev_bypass', 'kairos', 'kairos_help', 'lean', 'lean_check_signature', 'lean_verify', 'license_tier', 'not_yet_implemented', 'object', 'paid', 'parameters', 'products', 'properties', 'required', 'resource_not_found', 'result', 'schema', 'score', 'serve_stdio', 'solve', 'sorry_count', 'status', 'string', 'text', 'tool', 'tool_not_registered', 'topic', 'tracking_ticket', 'type', 'uri', 'verify_batch']