[console_scripts]
leanllm = leanllm.cli:main
