Upload folder using huggingface_hub

pyproject.toml

@@ -24,8 +24,9 @@ dependencies = [
     "fastmcp>=2.0.0",
     "requests>=2.31.0",
 
-    # Web UI
-    "gradio>=4.0.0",
+    # Web UI — pin to current major (6.x) to match local dev and avoid
+    # behavior drift on Space rebuilds.
+    "gradio>=6.0.0",
 
     # OpenCode harness primitive — sandbox + proxy + agent driver
     "httpx>=0.27.0",

server/gradio_ui.py

@@ -392,9 +392,9 @@ def opencode_gradio_builder(
                     placeholder="(blank → cold install per rollout)",
                 )
             with gr.Row():
-                max_tokens_cap = gr.Number(value=4096, label="max_tokens_cap", precision=0)
-                top_logprobs = gr.Number(value=5, label="top_logprobs", precision=0)
-                agent_timeout_s = gr.Number(value=600, label="agent_timeout_s", precision=0)
+                max_tokens_cap = gr.Number(value=4096, label="max_tokens_cap", step=1)
+                top_logprobs = gr.Number(value=5, label="top_logprobs", step=1)
+                agent_timeout_s = gr.Number(value=600, label="agent_timeout_s", step=1)
 
         run_btn = gr.Button("Run rollout", variant="primary")
 

uv.lock

@@ -1722,7 +1722,7 @@ requires-dist = [
     { name = "e2b", specifier = ">=1.0.0" },
     { name = "fastapi", specifier = ">=0.115.0" },
     { name = "fastmcp", specifier = ">=2.0.0" },
-    { name = "gradio", specifier = ">=4.0.0" },
+    { name = "gradio", specifier = ">=6.0.0" },
     { name = "httpx", specifier = ">=0.27.0" },
     { name = "openenv-core", extras = ["core"], git = "https://github.com/adithya-s-k/OpenEnv.git?rev=opencode-harness" },
     { name = "pydantic", specifier = ">=2.0.0" },