Mount API at /api path instead of root

- API endpoints now available at /api/* (e.g., /api/leaderboard, /api/health)
- Swagger docs at /api/docs
- Gradio UI remains at root path (/)

api.py

@@ -196,14 +196,17 @@ async def api_root():
         "name": "OpenHands Index API",
         "version": "1.0.0",
         "description": "REST API for accessing OpenHands Index benchmark results",
+        "leaderboard_ui": "/",
         "documentation": "/api/docs",
         "endpoints": {
+            "/api/": "API information (this page)",
+            "/api/health": "Health check endpoint",
             "/api/leaderboard": "Get the full leaderboard with scores and metadata",
             "/api/leaderboard/models": "List all language models in the leaderboard",
             "/api/leaderboard/model/{model_name}": "Get data for a specific model",
             "/api/categories": "List all benchmark categories",
             "/api/benchmarks": "List all benchmarks",
-            "/api/health": "Health check endpoint",
+            "/api/docs": "Interactive Swagger UI documentation",
         }
     }
 

app.py

@@ -379,9 +379,14 @@ with demo.route("About", "/about"):
 logger.info("All routes configured")
 
 # Mount the REST API on /api
+from fastapi import FastAPI
 from api import api_app
-app = gr.mount_gradio_app(api_app, demo, path="/")
-logger.info("REST API mounted, Gradio app mounted at /")
+
+# Create a parent FastAPI app that will host both the API and Gradio
+root_app = FastAPI()
+root_app.mount("/api", api_app)
+app = gr.mount_gradio_app(root_app, demo, path="/")
+logger.info("REST API mounted at /api, Gradio app mounted at /")
 
 
 # Launch the app