leanclient>=0.1.11
mcp[cli]>=1.9.2

[dev]
ruff>=0.2.0

[lint]
ruff>=0.2.0
