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

['LeanProofPlugin', 'NeuronNKIPlugin', 'SysVerilogCBMCPlugin', 'register_defaults']