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

['0.x', 'DONE', 'Go to step 3.', 'action', 'bulletproof_loop', 'byo_llm_supported', 'call_pattern', 'certify', 'choosing_a_tool', 'description', 'details', 'dispatch', 'ebmc', 'ebmc_cegar', 'ebmc_solve', 'ebmc_verify', 'first_step', 'free', 'free tier', 'get_capabilities', 'get_decision_tree', 'get_help_topic', 'getting_started', 'kairos_version', 'lean', 'lean_race', 'lean_simple_prove', 'lean_solve', 'list_topics', 'name', 'on_decompose_hints', 'on_failed', 'on_proved', 'on_proved_clean', 'onboarding', 'paid', 'phase_status', 'rationale', 'skip_when', 'step', 'steps', 'summary', 'tier', 'title', 'tools', 'use_when', 'verifiers', 'verify_batch', 'verify_proof']