mcp<2.0,>=1.0.0
pydantic<3.0,>=2.0
z3-solver<5.0,>=4.12.0
networkx<4.0,>=3.0

[dev]
build<2.0,>=1.2
pytest<9.0,>=7.0
pytest-cov<6.0,>=4.0
pytest-asyncio<1.0,>=0.23
mypy<2.0,>=1.0
ruff<1.0,>=0.1

[postgres]
asyncpg<1.0,>=0.29
pgvector<1.0,>=0.2

[server]
fastapi<1.0,>=0.110
uvicorn<1.0,>=0.27
