# This file was autogenerated by uv via the following command:
#    uv export --extra server --no-dev --no-emit-project --no-hashes
aiohappyeyeballs==2.6.1
    # via aiohttp
aiohttp==3.12.14
    # via fsspec
aiosignal==1.4.0
    # via aiohttp
annotated-types==0.7.0
    # via pydantic
anyio==4.9.0
    # via
    #   httpx
    #   starlette
async-timeout==5.0.1 ; python_full_version < '3.11'
    # via aiohttp
attrs==25.3.0
    # via aiohttp
cachetools==5.5.2
    # via google-auth
certifi==2025.7.14
    # via
    #   httpcore
    #   httpx
    #   requests
charset-normalizer==3.4.2
    # via requests
click==8.1.8 ; python_full_version < '3.11'
    # via
    #   prisma
    #   uvicorn
click==8.2.1 ; python_full_version >= '3.11'
    # via
    #   prisma
    #   uvicorn
colorama==0.4.6
    # via
    #   click
    #   lean-verification-client
    #   loguru
    #   tqdm
datasets==4.0.0
    # via lean-verification-client
dill==0.3.8
    # via
    #   datasets
    #   multiprocess
exceptiongroup==1.3.0 ; python_full_version < '3.11'
    # via anyio
fastapi==0.116.1
    # via lean-verification-client
filelock==3.18.0
    # via
    #   datasets
    #   huggingface-hub
frozenlist==1.7.0
    # via
    #   aiohttp
    #   aiosignal
fsspec==2025.3.0
    # via
    #   datasets
    #   huggingface-hub
google-api-core==2.25.1
    # via
    #   google-cloud-appengine-logging
    #   google-cloud-core
    #   google-cloud-logging
google-auth==2.40.3
    # via
    #   google-api-core
    #   google-cloud-appengine-logging
    #   google-cloud-core
    #   google-cloud-logging
google-cloud-appengine-logging==1.6.2
    # via google-cloud-logging
google-cloud-audit-log==0.3.2
    # via google-cloud-logging
google-cloud-core==2.4.3
    # via google-cloud-logging
google-cloud-logging==3.12.1
    # via lean-verification-client
googleapis-common-protos==1.70.0
    # via
    #   google-api-core
    #   google-cloud-audit-log
    #   grpc-google-iam-v1
    #   grpcio-status
grpc-google-iam-v1==0.14.2
    # via google-cloud-logging
grpcio==1.73.1
    # via
    #   google-api-core
    #   googleapis-common-protos
    #   grpc-google-iam-v1
    #   grpcio-status
grpcio-status==1.73.1
    # via google-api-core
h11==0.16.0
    # via
    #   httpcore
    #   uvicorn
hf-xet==1.1.5 ; platform_machine == 'aarch64' or platform_machine == 'amd64' or platform_machine == 'arm64' or platform_machine == 'x86_64'
    # via huggingface-hub
httpcore==1.0.9
    # via httpx
httpx==0.28.1
    # via
    #   lean-verification-client
    #   prisma
huggingface-hub==0.33.4
    # via datasets
idna==3.10
    # via
    #   anyio
    #   httpx
    #   requests
    #   yarl
importlib-metadata==8.7.0
    # via opentelemetry-api
jinja2==3.1.6
    # via prisma
loguru==0.7.3
    # via lean-verification-client
markdown-it-py==3.0.0
    # via rich
markupsafe==3.0.2
    # via jinja2
mdurl==0.1.2
    # via markdown-it-py
multidict==6.6.3
    # via
    #   aiohttp
    #   yarl
multiprocess==0.70.16
    # via datasets
nodeenv==1.9.1
    # via prisma
numpy==2.0.2 ; python_full_version < '3.11'
    # via
    #   datasets
    #   pandas
numpy==2.3.1 ; python_full_version >= '3.11'
    # via
    #   datasets
    #   pandas
opentelemetry-api==1.35.0
    # via google-cloud-logging
packaging==25.0
    # via
    #   datasets
    #   huggingface-hub
pandas==2.3.1
    # via datasets
pip==25.1.1
    # via lean-verification-client
prisma==0.15.0
    # via lean-verification-client
propcache==0.3.2
    # via
    #   aiohttp
    #   yarl
proto-plus==1.26.1
    # via
    #   google-api-core
    #   google-cloud-appengine-logging
    #   google-cloud-logging
protobuf==6.31.1
    # via
    #   google-api-core
    #   google-cloud-appengine-logging
    #   google-cloud-audit-log
    #   google-cloud-logging
    #   googleapis-common-protos
    #   grpc-google-iam-v1
    #   grpcio-status
    #   proto-plus
psutil==7.0.0
    # via lean-verification-client
pyarrow==21.0.0
    # via datasets
pyasn1==0.6.1
    # via
    #   pyasn1-modules
    #   rsa
pyasn1-modules==0.4.2
    # via google-auth
pydantic==2.11.7
    # via
    #   fastapi
    #   prisma
    #   pydantic-settings
pydantic-core==2.33.2
    # via pydantic
pydantic-settings==2.10.1
    # via lean-verification-client
pygments==2.19.2
    # via rich
python-dateutil==2.9.0.post0
    # via pandas
python-dotenv==1.1.1
    # via
    #   lean-verification-client
    #   prisma
    #   pydantic-settings
pytz==2025.2
    # via pandas
pyyaml==6.0.2
    # via
    #   datasets
    #   huggingface-hub
requests==2.32.4
    # via
    #   datasets
    #   google-api-core
    #   huggingface-hub
    #   lean-verification-client
rich==14.0.0
    # via lean-verification-client
rsa==4.9.1
    # via google-auth
six==1.17.0
    # via python-dateutil
sniffio==1.3.1
    # via anyio
starlette==0.47.2
    # via fastapi
strenum==0.4.15 ; python_full_version < '3.11'
    # via prisma
tabulate==0.9.0
    # via lean-verification-client
tenacity==9.1.2
    # via lean-verification-client
tomlkit==0.13.3
    # via prisma
tqdm==4.67.1
    # via
    #   datasets
    #   huggingface-hub
typing-extensions==4.14.1
    # via
    #   aiosignal
    #   anyio
    #   exceptiongroup
    #   fastapi
    #   huggingface-hub
    #   multidict
    #   opentelemetry-api
    #   prisma
    #   pydantic
    #   pydantic-core
    #   rich
    #   starlette
    #   typing-inspection
    #   uvicorn
typing-inspection==0.4.1
    # via
    #   pydantic
    #   pydantic-settings
tzdata==2025.2
    # via pandas
urllib3==2.5.0
    # via requests
uvicorn==0.35.0
    # via lean-verification-client
win32-setctime==1.2.0 ; sys_platform == 'win32'
    # via loguru
xxhash==3.5.0
    # via datasets
yarl==1.20.1
    # via aiohttp
zipp==3.23.0
    # via importlib-metadata
