FROM python:3.11-slim

WORKDIR /app
COPY . /app
RUN pip install --no-cache-dir .

ENV RTL_LINT_MCP_HOST=0.0.0.0
ENV RTL_LINT_MCP_PORT=8765
ENV RTL_LINT_ALLOWED_ROOTS=/workspace
ENV RTL_LINT_ALLOWED_HOSTS=localhost:8765,127.0.0.1:8765

EXPOSE 8765
ENTRYPOINT ["rtl-lint-mcp"]
CMD ["--transport", "streamable-http", "--host", "0.0.0.0", "--port", "8765"]
