| # The LabScout web page and MCP server, as a Hugging Face Docker Space (port 7860, user 1000 as Spaces expect). | |
| FROM python:3.12-slim | |
| ENV PYTHONDONTWRITEBYTECODE=1 \ | |
| PYTHONUNBUFFERED=1 \ | |
| PIP_NO_CACHE_DIR=1 \ | |
| LABSCOUT_CACHE_DIR=/tmp/labscout-cache \ | |
| LABSCOUT_ROR_INDEX=/home/user/app/ror_index.json.gz | |
| RUN useradd -m -u 1000 user | |
| WORKDIR /home/user/app | |
| COPY --chown=user pyproject.toml README.md LICENSE ./ | |
| COPY --chown=user src ./src | |
| RUN pip install --no-cache-dir . | |
| # the ROR registry in memory: organisations are matched without one API request per paper | |
| RUN labscout ror-index /home/user/app/ror_index.json.gz && chown user /home/user/app/ror_index.json.gz | |
| USER user | |
| EXPOSE 7860 | |
| HEALTHCHECK --interval=60s --timeout=5s CMD python -c "import urllib.request; urllib.request.urlopen('http://127.0.0.1:7860/health')" | |
| CMD ["labscout", "serve", "--host", "0.0.0.0", "--port", "7860"] | |