lean-interact<1,>=0.11.0

[dev]
build
mcp<2,>=1.2.0
mypy
pre-commit
pytest
pytest-xdist
ruff
twine

[mcp]
mcp<2,>=1.2.0
