Dockerfile

# CLAWD Gateway — pre-built for Hugging Face Spaces
FROM node:22-bookworm-slim

RUN apt-get update && apt-get upgrade -y --no-install-recommends \
    && apt-get install -y --no-install-recommends dumb-init \
    && rm -rf /var/lib/apt/lists/*
WORKDIR /app

COPY package*.json ./
RUN npm install --omit=dev --no-audit --no-fund

# Pre-built JS (compiled locally with repo tsconfig, rootDir=..)
COPY dist/ ./dist/
COPY formal_verification/ ./formal_verification/

# Copy compiled formal_verification JS into source dir for runtime imports
# dist/gateway/src/skillHub.js → imports ../../formal_verification/skill-hub.js
# At runtime (WORKDIR=/app, node dist/gateway/src/index.js):
#    /app/dist/gateway/src/skillHub.js → ../../formal_verification → /app/formal_verification/
RUN cp dist/formal_verification/*.js formal_verification/ 2>/dev/null; \
    cp dist/formal_verification/*.json formal_verification/ 2>/dev/null; \
    echo "runtime imports ready"

ENV NODE_ENV=production
RUN groupadd -r clawd && useradd -r -g clawd clawd && chown -R clawd:clawd /app
USER clawd

EXPOSE 8080
CMD ["node", "dist/gateway/src/index.js"]