leanclient==0.2.0
mcp[cli]==1.17.0

[dev]
ruff>=0.2.0

[lint]
ruff>=0.2.0
