numpy>=1.26
sympy>=1.12
z3-solver>=4.12

[dev]
pytest>=8
hypothesis>=6
coverage>=7
ruff
scipy>=1.12

[docs]
sphinx>=7
sphinx-rtd-theme>=2
myst-parser>=3

[mcp]
mcp<2,>=1.2
