Upload folder using huggingface_hub

openenv_repl.egg-info/PKG-INFO

@@ -11,6 +11,7 @@ Requires-Dist: requests>=2.31.0
 Requires-Dist: smolagents<2,>=1.22.0
 Requires-Dist: huggingface_hub>=0.20.0
 Requires-Dist: gradio>=4.0.0
+Requires-Dist: pypdf>=4.0.0
 Provides-Extra: dev
 Requires-Dist: pytest>=9.0.3; extra == "dev"
 Requires-Dist: pytest-cov>=4.0.0; extra == "dev"

openenv_repl.egg-info/SOURCES.txt

@@ -1,5 +1,14 @@
 README.md
+__init__.py
+client.py
+local.py
+models.py
+prompts.py
 pyproject.toml
+recursive_backends.py
+recursive_controller.py
+rubrics.py
+runner.py
 ./__init__.py
 ./client.py
 ./local.py

openenv_repl.egg-info/requires.txt

@@ -6,6 +6,7 @@ requests>=2.31.0
 smolagents<2,>=1.22.0
 huggingface_hub>=0.20.0
 gradio>=4.0.0
+pypdf>=4.0.0
 
 [dev]
 pytest>=9.0.3

pyproject.toml

@@ -26,6 +26,8 @@ dependencies = [
     "huggingface_hub>=0.20.0",
     # REPL custom Gradio tab on /web
     "gradio>=4.0.0",
+    # Document upload support in the Gradio tab (server-side only, not in the sandbox)
+    "pypdf>=4.0.0",
 ]
 
 [project.optional-dependencies]

server/gradio_ui.py

@@ -8,12 +8,19 @@
 
 from __future__ import annotations
 
+import io
 import json
+from pathlib import Path
 from typing import Any, Dict, List, Optional
 
 import gradio as gr
 from openenv.core.env_server.types import EnvironmentMetadata
 
+try:
+    import pypdf
+except ImportError:  # pragma: no cover - optional dep
+    pypdf = None  # type: ignore[assignment]
+
 
 # Pre-canned demos for the "Load example" dropdown. Each entry is
 # (label, context, task_prompt, code) and showcases one of the three
@@ -104,6 +111,33 @@ Pass **Expected answer** at Reset to enable rubric-based scoring: the observatio
 """
 
 
+def _extract_text_from_upload(file_path: str) -> str:
+    """Read a .txt or .pdf upload from disk and return its text content.
+
+    Runs in the Gradio server process (outside the smolagents sandbox),
+    so it can use `pypdf` and the filesystem without triggering the
+    REPL's import restrictions.
+    """
+    path = Path(file_path)
+    suffix = path.suffix.lower()
+    if suffix == ".txt":
+        return path.read_text(encoding="utf-8", errors="replace")
+    if suffix == ".pdf":
+        if pypdf is None:
+            return "[pypdf is not installed in this deployment; cannot parse PDFs.]"
+        with path.open("rb") as fh:
+            reader = pypdf.PdfReader(io.BytesIO(fh.read()))
+        pages = []
+        for page in reader.pages:
+            try:
+                pages.append(page.extract_text() or "")
+            except Exception as exc:  # pypdf can raise on malformed PDFs
+                pages.append(f"[page extraction failed: {exc}]")
+        text = "\n\n".join(pages).strip()
+        return text or "[No extractable text — PDF may be image-only.]"
+    return f"[Unsupported file type: {suffix}. Use .txt or .pdf.]"
+
+
 def _code_block(title: str, content: str) -> str:
     if not content:
         return ""
@@ -229,11 +263,26 @@ def build_repl_gradio_app(
         ctx, task, code, expected = _EXAMPLES[label]
         return ctx, task, code, expected
 
+    def load_uploaded_document(file_obj):
+        if file_obj is None:
+            return gr.update(), gr.update()
+        file_path = (
+            file_obj if isinstance(file_obj, str) else getattr(file_obj, "name", None)
+        )
+        if not file_path:
+            return gr.update(), "Upload error: could not read file path."
+        try:
+            text = _extract_text_from_upload(file_path)
+        except Exception as exc:
+            return gr.update(), f"Upload error: {exc}"
+        return text, f"Loaded {Path(file_path).name} ({len(text)} chars) into Context."
+
     with gr.Blocks(title=f"{title} - REPL") as blocks:
         gr.Markdown(
             "# REPL Control Panel\n\n"
-            "Recursive Language Model REPL. Pick a demo from **💡 Load example** below, "
-            "paste your **Hugging Face Token**, click **🔁 Reset episode**, then **▶ Run**.\n\n"
+            "Recursive Language Model REPL. Pick a demo from **💡 Load example**, or drop "
+            "your own **text file / PDF**, paste your **Hugging Face Token**, "
+            "click **🔁 Reset episode**, then **▶ Run**.\n\n"
             "*Injected helpers: `context`, `llm_query`, `llm_query_batched`, "
             "`rlm_query`, `rlm_query_batched`, `FINAL(...)`, `FINAL_VAR(...)`.*"
         )
@@ -247,6 +296,11 @@ def build_repl_gradio_app(
                     value=None,
                     info="Pick a pre-canned demo to fill Context, Task Prompt, and Python Code.",
                 )
+                upload = gr.File(
+                    label="📎 Drop a text file or PDF here",
+                    file_types=[".txt", ".pdf"],
+                    type="filepath",
+                )
                 context = gr.Textbox(
                     label="Context",
                     placeholder="Problem context or source text...",
@@ -338,5 +392,10 @@ def build_repl_gradio_app(
             inputs=[example_dropdown],
             outputs=[context, task_prompt, code, expected_answer],
         )
+        upload.change(
+            fn=load_uploaded_document,
+            inputs=[upload],
+            outputs=[context, status],
+        )
 
     return blocks

uv.lock

@@ -1608,6 +1608,7 @@ dependencies = [
     { name = "huggingface-hub" },
     { name = "openenv-core", extra = ["core"] },
     { name = "pydantic" },
+    { name = "pypdf" },
     { name = "requests" },
     { name = "smolagents" },
     { name = "uvicorn" },
@@ -1626,6 +1627,7 @@ requires-dist = [
     { name = "huggingface-hub", specifier = ">=0.20.0" },
     { name = "openenv-core", extras = ["core"], specifier = ">=0.2.3" },
     { name = "pydantic", specifier = ">=2.0.0" },
+    { name = "pypdf", specifier = ">=4.0.0" },
     { name = "pytest", marker = "extra == 'dev'", specifier = ">=9.0.3" },
     { name = "pytest-cov", marker = "extra == 'dev'", specifier = ">=4.0.0" },
     { name = "requests", specifier = ">=2.31.0" },
@@ -2218,6 +2220,18 @@ crypto = [
     { name = "cryptography" },
 ]
 
+[[package]]
+name = "pypdf"
+version = "6.10.2"
+source = { registry = "https://pypi.org/simple" }
+dependencies = [
+    { name = "typing-extensions", marker = "python_full_version < '3.11'" },
+]
+sdist = { url = "https://files.pythonhosted.org/packages/7b/3f/9f2167401c2e94833ca3b69535bad89e533b5de75fefe4197a2c224baec2/pypdf-6.10.2.tar.gz", hash = "sha256:7d09ce108eff6bf67465d461b6ef352dcb8d84f7a91befc02f904455c6eea11d", size = 5315679, upload-time = "2026-04-15T16:37:36.978Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/0c/d6/1d5c60cc17bbdf37c1552d9c03862fc6d32c5836732a0415b2d637edc2d0/pypdf-6.10.2-py3-none-any.whl", hash = "sha256:aa53be9826655b51c96741e5d7983ca224d898ac0a77896e64636810517624aa", size = 336308, upload-time = "2026-04-15T16:37:34.851Z" },
+]
+
 [[package]]
 name = "pyperclip"
 version = "1.11.0"