typer>=0.15.1
rich>=13.9.4
google-genai>=0.5.0
pydantic>=2.10.6
pytest>=8.3.4
google-auth-oauthlib>=1.2.0
Pillow>=10.0.0
prompt_toolkit>=3.0.43
z3-solver
networkx
hypothesis
docker
streamlit
