pydantic>=2.0.0
z3-solver>=4.13.0

[dev]
pytest>=8.0.0
httpx>=0.27.0
ruff>=0.6.0
mypy>=1.10.0
fastapi>=0.115.0
uvicorn>=0.30.0

[docs]
mkdocs>=1.6.0
mkdocs-material>=9.5.0
mkdocstrings[python]>=0.26.0

[llm]
anthropic>=0.40.0

[mcp]
mcp>=1.0.0

[server]
fastapi>=0.115.0
uvicorn>=0.30.0
python-multipart>=0.0.9
