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

['.', '.lean', '/', 'LeanLSPClient', 'goals', 'rendered']