boto3>=1.34.0
z3-solver>=4.12.2
pydantic>=2.0.0
python-dotenv>=1.0.0
google-genai>=0.3.0
openai>=1.14.0
