aiohttp>=3.9.0
google-auth>=2.23.0
langgraph>=1.0.3
langchain>=1.0.8
langchain-anthropic>=1.3.0
langchain-google-genai>=4.2.0
langchain-openai>=1.1.7
lean-interact>=0.1.0
jsonargparse[omegaconf]>=4.35.0
omegaconf>=2.3.0
platformdirs>=4.0
pydantic>=2.12.4
pylatexenc>=2.10
python-dotenv>=1.2.1
requests>=2.31.0
tavily-python>=0.7.13
wikipedia>=1.4.0

[dev]
build>=1.0.0
pre-commit>=4.5.0
ruff>=0.14.6
pytest>=9.0.1
pytest-cov>=7.0.0
pytest-asyncio>=1.3.0
pytest-timeout>=2.4.0
setuptools-scm>=8.0
twine>=6.0.0
