Update Dockerfile

Dockerfile

@@ -1,4 +1,4 @@
-# Dockerfile for Hugging Face Spaces deployment of Coral Server
+# MCP-Compliant Dockerfile for Hugging Face Spaces deployment of Coral Server
 FROM gradle:8.5-jdk21 AS build
 
 # Set working directory
@@ -10,17 +10,30 @@ RUN git clone https://github.com/Coral-Protocol/coral-server.git .
 # Build the application
 RUN gradle build --no-daemon -x test
 
-# Create coral-config directory and copy config files
+# Create configuration files if they don't exist
 RUN mkdir -p /coral-config && \
-    cp -r src/main/resources/* /coral-config/ || true
+    if [ ! -f src/main/resources/application.yaml ]; then \
+        echo "server:" > /coral-config/application.yaml && \
+        echo "  port: 7860" >> /coral-config/application.yaml && \
+        echo "mcp:" >> /coral-config/application.yaml && \
+        echo "  transport: sse" >> /coral-config/application.yaml; \
+    else \
+        cp src/main/resources/application.yaml /coral-config/; \
+    fi && \
+    if [ ! -f src/main/resources/registry.toml ]; then \
+        touch /coral-config/registry.toml; \
+    else \
+        cp src/main/resources/registry.toml /coral-config/; \
+    fi
 
 # Runtime stage
 FROM openjdk:21-jdk-slim
 
-# Install required packages
+# Install required packages including nginx for reverse proxy
 RUN apt-get update && apt-get install -y \
     curl \
     git \
+    nginx \
     && rm -rf /var/lib/apt/lists/*
 
 # Set working directory
@@ -28,16 +41,70 @@ WORKDIR /app
 
 # Copy built application from build stage
 COPY --from=build /app/build/libs/*.jar app.jar
+COPY --from=build /coral-config /app/coral-config
 
-# Copy configuration files to the expected location
-COPY --from=build /coral-config /app/src/main/resources
+# Create nginx config for MCP proxying
+RUN echo 'server {' > /etc/nginx/sites-available/mcp-proxy && \
+    echo '    listen 7860;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '    server_name localhost;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '    # MCP SSE endpoint' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '    location /sse {' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_pass http://127.0.0.1:5555;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_http_version 1.1;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_set_header Upgrade $http_upgrade;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_set_header Connection "upgrade";' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_set_header Host $host;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_cache_bypass $http_upgrade;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_buffering off;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_read_timeout 86400;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '    }' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '    # Proxy all MCP requests to Coral Server' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '    location / {' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_pass http://127.0.0.1:5555;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_http_version 1.1;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_set_header Upgrade $http_upgrade;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_set_header Connection "upgrade";' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_set_header Host $host;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_set_header X-Real-IP $remote_addr;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_set_header X-Forwarded-Proto $scheme;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_cache_bypass $http_upgrade;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_buffering off;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '        proxy_read_timeout 86400;' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '    }' >> /etc/nginx/sites-available/mcp-proxy && \
+    echo '}' >> /etc/nginx/sites-available/mcp-proxy && \
+    ln -s /etc/nginx/sites-available/mcp-proxy /etc/nginx/sites-enabled/ && \
+    rm /etc/nginx/sites-enabled/default
 
-# Create coral-config directory as mentioned in the official docs
-RUN mkdir -p /app/coral-config
+# Create startup script
+RUN echo '#!/bin/bash' > /app/start.sh && \
+    echo 'set -e' >> /app/start.sh && \
+    echo '' >> /app/start.sh && \
+    echo '# Start nginx in background' >> /app/start.sh && \
+    echo 'nginx -g "daemon off;" &' >> /app/start.sh && \
+    echo 'NGINX_PID=$!' >> /app/start.sh && \
+    echo '' >> /app/start.sh && \
+    echo '# Start Coral Server on port 5555' >> /app/start.sh && \
+    echo 'java -Xmx1g -Xms512m -jar app.jar --sse-server 5555 &' >> /app/start.sh && \
+    echo 'CORAL_PID=$!' >> /app/start.sh && \
+    echo '' >> /app/start.sh && \
+    echo '# Wait for either process to exit' >> /app/start.sh && \
+    echo 'wait -n $NGINX_PID $CORAL_PID' >> /app/start.sh && \
+    echo '' >> /app/start.sh && \
+    echo '# Kill both processes if one exits' >> /app/start.sh && \
+    echo 'kill $NGINX_PID $CORAL_PID 2>/dev/null || true' >> /app/start.sh && \
+    chmod +x /app/start.sh
 
 # Create non-root user (required by HF Spaces)
 RUN useradd -m -u 1000 user && \
-    chown -R user:user /app
+    chown -R user:user /app && \
+    chown -R user:user /var/log/nginx && \
+    chown -R user:user /var/lib/nginx && \
+    touch /var/run/nginx.pid && \
+    chown user:user /var/run/nginx.pid
+
 USER user
 
 # Set environment variables for HF Spaces
@@ -50,9 +117,9 @@ ENV HOME=/home/user \
 # HF Spaces expects port 7860
 EXPOSE 7860
 
-# Health check - adjusted URL based on Coral Server endpoints
+# Health check for the proxied service
 HEALTHCHECK --interval=30s --timeout=10s --start-period=60s --retries=3 \
-    CMD curl -f http://localhost:7860/ || exit 1
+    CMD curl -f http://localhost:7860/devmode/exampleApplication/privkey/session1/sse || exit 1
 
-# Start the server on port 7860
-CMD ["java", "-Xmx1g", "-Xms512m", "-jar", "app.jar", "--sse-server", "7860"]
+# Start both nginx proxy and Coral Server
+CMD ["/app/start.sh"]