datasets>=4.8.5
lazy-loader>=0.5
loguru
mkinit>=1.2.0
toml>=0.10.2
typer>=0.12.0
vllm>=0.8.5.post1

[dev]
pytest>=9.0.3
pytest-asyncio>=0.25

[full]
treethink[dev,isabelle,lean,rocq]

[isabelle]
isabelle-client

[lean]
kimina-client

[rocq]
rocq-ml-toolbox
pytanque
