leanclient>=0.12.0
mcp[cli]==1.28.1
orjson>=3.11.9
certifi>=2026.6.17

[dev]
ruff>=0.15.20
ty>=0.0.56
pytest>=9.1.1
anyio>=4.14.1
pytest-asyncio>=1.4.0
pytest-timeout>=2.4.0

[lint]
ruff>=0.15.20
ty>=0.0.56

[yaml]
PyYAML>=6.0.3
