FROM python:3.14.6-slim-trixie

ENV PATH="/opt/lean/bin:${PATH}"

WORKDIR /app

ADD https://github.com/leanprover/lean4/releases/download/v4.31.0/lean-4.31.0-linux.tar.zst /tmp/lean.tar.zst

RUN apt-get update \
    && apt-get install -y --no-install-recommends zstd \
    && mkdir -p /opt/lean \
    && tar --use-compress-program=unzstd -xf /tmp/lean.tar.zst -C /opt/lean --strip-components=1 \
    && rm -f /tmp/lean.tar.zst \
    && apt-get purge -y --auto-remove zstd \
    && rm -rf /var/lib/apt/lists/*

RUN pip install --no-cache-dir flask==3.1.3

COPY app.py .
COPY --chmod=444 flag.txt /flag.txt
RUN mv /flag.txt /flag-$(md5sum /flag.txt | awk '{print $1}').txt

CMD ["python", "app.py"]
