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

['Mathlib', 'chat', 'lean_completion']