fastmcp>=0.1.0
pydantic>=2.0.0
python-dotenv>=1.0.0
httpx>=0.25.0
debugpy>=1.8.0
numpy>=1.21.0

[dev]
pytest>=7.0.0
black>=23.0.0
ruff>=0.1.0
mypy>=1.0.0

[lean]
leanclient==0.1.14
