z3-solver>=4.12.0
rich>=13.0.0

[dev]
pytest>=7.0
pytest-cov
ruff
black
mypy
langchain-core>=0.1.0
pydantic>=2.0.0

[langchain]
langchain-core>=0.1.0
pydantic>=2.0.0

[mcp]
mcp[cli]>=1.2.0
