PyYAML>=6.0
sympy>=1.14
z3-solver<4.15.5,>=4.13.4

[anthropic]
anthropic>=0.25.0

[dev]
pytest>=7.4
ruff>=0.1

[full]
scipy>=1.14
cvc5>=1.2
cvxpy>=1.4
sentence-transformers>=5.0
hdbscan>=0.8.40
umap-learn>=0.5.10
numpy>=2.0
networkx>=3.5
pandas>=2.0
matplotlib>=3.10
mpmath>=1.3
pydantic>=2.0
python-dotenv>=1.0.0
cryptography>=42.0
jsonschema>=4.0
requests>=2.30
tenacity>=8.0
tqdm>=4.60
click>=8.0
rich>=13.0
httpx>=0.27
google-genai>=1.0.0
anthropic>=0.25.0
openai>=1.0.0
streamlit>=1.30

[google]
google-genai>=1.0.0

[lean]
scipy>=1.14
cvc5>=1.2
cvxpy>=1.4
numpy>=2.0

[openai]
openai>=1.0.0

[providers]
google-genai>=1.0.0
anthropic>=0.25.0
openai>=1.0.0

[research]
scipy>=1.14
cvc5>=1.2
cvxpy>=1.4
sentence-transformers>=5.0
hdbscan>=0.8.40
umap-learn>=0.5.10
numpy>=2.0
networkx>=3.5
pandas>=2.0
matplotlib>=3.10
mpmath>=1.3
pydantic>=2.0
python-dotenv>=1.0.0
cryptography>=42.0
jsonschema>=4.0
requests>=2.30
tenacity>=8.0
tqdm>=4.60
click>=8.0
rich>=13.0
httpx>=0.27

[ui]
streamlit>=1.30
