mcp>=1.0.0
sympy>=1.12
reasonforge>=0.1.0

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