mcp>=1.2.0
sympy>=1.12
z3-solver>=4.12.0
httpx>=0.24.0

[dev]
pytest>=7.0.0
pytest-asyncio>=0.21.0
black>=23.0.0
