burtenshaw HF Staff commited on
Commit
ae45ec5
·
verified ·
1 Parent(s): 5a88917

Upload folder using huggingface_hub

Browse files
envs/repl_env/openenv_repl.egg-info/PKG-INFO ADDED
@@ -0,0 +1,16 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ Metadata-Version: 2.4
2
+ Name: openenv-repl
3
+ Version: 0.1.0
4
+ Summary: Recursive Language Model REPL Environment for OpenEnv
5
+ Requires-Python: >=3.10
6
+ Requires-Dist: openenv-core[core]>=0.2.2
7
+ Requires-Dist: fastapi>=0.115.0
8
+ Requires-Dist: pydantic>=2.0.0
9
+ Requires-Dist: uvicorn>=0.24.0
10
+ Requires-Dist: requests>=2.31.0
11
+ Requires-Dist: smolagents<2,>=1.22.0
12
+ Requires-Dist: huggingface_hub>=0.20.0
13
+ Requires-Dist: gradio>=4.0.0
14
+ Provides-Extra: dev
15
+ Requires-Dist: pytest>=8.0.0; extra == "dev"
16
+ Requires-Dist: pytest-cov>=4.0.0; extra == "dev"
envs/repl_env/openenv_repl.egg-info/SOURCES.txt ADDED
@@ -0,0 +1,22 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ README.md
2
+ pyproject.toml
3
+ ./__init__.py
4
+ ./client.py
5
+ ./local.py
6
+ ./models.py
7
+ ./prompts.py
8
+ ./recursive_backends.py
9
+ ./recursive_controller.py
10
+ ./rubrics.py
11
+ ./runner.py
12
+ openenv_repl.egg-info/PKG-INFO
13
+ openenv_repl.egg-info/SOURCES.txt
14
+ openenv_repl.egg-info/dependency_links.txt
15
+ openenv_repl.egg-info/entry_points.txt
16
+ openenv_repl.egg-info/requires.txt
17
+ openenv_repl.egg-info/top_level.txt
18
+ server/__init__.py
19
+ server/app.py
20
+ server/gradio_ui.py
21
+ server/python_executor.py
22
+ server/repl_environment.py
envs/repl_env/openenv_repl.egg-info/dependency_links.txt ADDED
@@ -0,0 +1 @@
 
 
1
+
envs/repl_env/openenv_repl.egg-info/entry_points.txt ADDED
@@ -0,0 +1,2 @@
 
 
 
1
+ [console_scripts]
2
+ server = repl_env.server.app:main
envs/repl_env/openenv_repl.egg-info/requires.txt ADDED
@@ -0,0 +1,12 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ openenv-core[core]>=0.2.2
2
+ fastapi>=0.115.0
3
+ pydantic>=2.0.0
4
+ uvicorn>=0.24.0
5
+ requests>=2.31.0
6
+ smolagents<2,>=1.22.0
7
+ huggingface_hub>=0.20.0
8
+ gradio>=4.0.0
9
+
10
+ [dev]
11
+ pytest>=8.0.0
12
+ pytest-cov>=4.0.0
envs/repl_env/openenv_repl.egg-info/top_level.txt ADDED
@@ -0,0 +1 @@
 
 
1
+ repl_env
openenv_repl.egg-info/PKG-INFO ADDED
@@ -0,0 +1,16 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ Metadata-Version: 2.4
2
+ Name: openenv-repl
3
+ Version: 0.1.0
4
+ Summary: Recursive Language Model REPL Environment for OpenEnv
5
+ Requires-Python: >=3.10
6
+ Requires-Dist: openenv-core[core]>=0.2.2
7
+ Requires-Dist: fastapi>=0.115.0
8
+ Requires-Dist: pydantic>=2.0.0
9
+ Requires-Dist: uvicorn>=0.24.0
10
+ Requires-Dist: requests>=2.31.0
11
+ Requires-Dist: smolagents<2,>=1.22.0
12
+ Requires-Dist: huggingface_hub>=0.20.0
13
+ Requires-Dist: gradio>=4.0.0
14
+ Provides-Extra: dev
15
+ Requires-Dist: pytest>=8.0.0; extra == "dev"
16
+ Requires-Dist: pytest-cov>=4.0.0; extra == "dev"
openenv_repl.egg-info/SOURCES.txt ADDED
@@ -0,0 +1,22 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ README.md
2
+ pyproject.toml
3
+ ./__init__.py
4
+ ./client.py
5
+ ./local.py
6
+ ./models.py
7
+ ./prompts.py
8
+ ./recursive_backends.py
9
+ ./recursive_controller.py
10
+ ./rubrics.py
11
+ ./runner.py
12
+ openenv_repl.egg-info/PKG-INFO
13
+ openenv_repl.egg-info/SOURCES.txt
14
+ openenv_repl.egg-info/dependency_links.txt
15
+ openenv_repl.egg-info/entry_points.txt
16
+ openenv_repl.egg-info/requires.txt
17
+ openenv_repl.egg-info/top_level.txt
18
+ server/__init__.py
19
+ server/app.py
20
+ server/gradio_ui.py
21
+ server/python_executor.py
22
+ server/repl_environment.py
openenv_repl.egg-info/dependency_links.txt ADDED
@@ -0,0 +1 @@
 
 
1
+
openenv_repl.egg-info/entry_points.txt ADDED
@@ -0,0 +1,2 @@
 
 
 
1
+ [console_scripts]
2
+ server = repl_env.server.app:main
openenv_repl.egg-info/requires.txt ADDED
@@ -0,0 +1,12 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ openenv-core[core]>=0.2.2
2
+ fastapi>=0.115.0
3
+ pydantic>=2.0.0
4
+ uvicorn>=0.24.0
5
+ requests>=2.31.0
6
+ smolagents<2,>=1.22.0
7
+ huggingface_hub>=0.20.0
8
+ gradio>=4.0.0
9
+
10
+ [dev]
11
+ pytest>=8.0.0
12
+ pytest-cov>=4.0.0
openenv_repl.egg-info/top_level.txt ADDED
@@ -0,0 +1 @@
 
 
1
+ repl_env
src/core/env_server/web_interface.py CHANGED
@@ -22,7 +22,8 @@ from datetime import datetime
22
  from typing import Any, Callable, Dict, List, Optional, Type
23
 
24
  import gradio as gr
25
- from fastapi import Body, FastAPI, WebSocket, WebSocketDisconnect
 
26
  from pydantic import BaseModel, ConfigDict, Field
27
 
28
  from .gradio_theme import OPENENV_GRADIO_CSS, OPENENV_GRADIO_THEME
@@ -462,6 +463,11 @@ def create_web_interface_app(
462
  web_manager = WebInterfaceManager(env, action_cls, observation_cls, metadata)
463
 
464
  # Web API routes first (so they take precedence over Gradio mount at /web)
 
 
 
 
 
465
  @app.get("/web/metadata")
466
  async def web_metadata():
467
  """Get environment metadata."""
@@ -509,7 +515,13 @@ def create_web_interface_app(
509
  @app.get("/web/state")
510
  async def web_state():
511
  """State endpoint for web interface."""
512
- return web_manager.get_state()
 
 
 
 
 
 
513
 
514
  action_fields = _extract_action_fields(action_cls)
515
  is_chat_env = _is_chat_env(action_cls)
 
22
  from typing import Any, Callable, Dict, List, Optional, Type
23
 
24
  import gradio as gr
25
+ from fastapi import Body, FastAPI, HTTPException, WebSocket, WebSocketDisconnect, status
26
+ from fastapi.responses import RedirectResponse
27
  from pydantic import BaseModel, ConfigDict, Field
28
 
29
  from .gradio_theme import OPENENV_GRADIO_CSS, OPENENV_GRADIO_THEME
 
463
  web_manager = WebInterfaceManager(env, action_cls, observation_cls, metadata)
464
 
465
  # Web API routes first (so they take precedence over Gradio mount at /web)
466
+ @app.get("/", include_in_schema=False)
467
+ async def web_root():
468
+ """Redirect the app root to the Gradio interface."""
469
+ return RedirectResponse(url="/web/")
470
+
471
  @app.get("/web/metadata")
472
  async def web_metadata():
473
  """Get environment metadata."""
 
515
  @app.get("/web/state")
516
  async def web_state():
517
  """State endpoint for web interface."""
518
+ try:
519
+ return web_manager.get_state()
520
+ except RuntimeError as exc:
521
+ raise HTTPException(
522
+ status_code=status.HTTP_409_CONFLICT,
523
+ detail=str(exc),
524
+ ) from exc
525
 
526
  action_fields = _extract_action_fields(action_cls)
527
  is_chat_env = _is_chat_env(action_cls)
src/core/openenv/core/env_server/web_interface.py CHANGED
@@ -22,7 +22,8 @@ from datetime import datetime
22
  from typing import Any, Callable, Dict, List, Optional, Type
23
 
24
  import gradio as gr
25
- from fastapi import Body, FastAPI, WebSocket, WebSocketDisconnect
 
26
  from pydantic import BaseModel, ConfigDict, Field
27
 
28
  from .gradio_theme import OPENENV_GRADIO_CSS, OPENENV_GRADIO_THEME
@@ -462,6 +463,11 @@ def create_web_interface_app(
462
  web_manager = WebInterfaceManager(env, action_cls, observation_cls, metadata)
463
 
464
  # Web API routes first (so they take precedence over Gradio mount at /web)
 
 
 
 
 
465
  @app.get("/web/metadata")
466
  async def web_metadata():
467
  """Get environment metadata."""
@@ -509,7 +515,13 @@ def create_web_interface_app(
509
  @app.get("/web/state")
510
  async def web_state():
511
  """State endpoint for web interface."""
512
- return web_manager.get_state()
 
 
 
 
 
 
513
 
514
  action_fields = _extract_action_fields(action_cls)
515
  is_chat_env = _is_chat_env(action_cls)
 
22
  from typing import Any, Callable, Dict, List, Optional, Type
23
 
24
  import gradio as gr
25
+ from fastapi import Body, FastAPI, HTTPException, WebSocket, WebSocketDisconnect, status
26
+ from fastapi.responses import RedirectResponse
27
  from pydantic import BaseModel, ConfigDict, Field
28
 
29
  from .gradio_theme import OPENENV_GRADIO_CSS, OPENENV_GRADIO_THEME
 
463
  web_manager = WebInterfaceManager(env, action_cls, observation_cls, metadata)
464
 
465
  # Web API routes first (so they take precedence over Gradio mount at /web)
466
+ @app.get("/", include_in_schema=False)
467
+ async def web_root():
468
+ """Redirect the app root to the Gradio interface."""
469
+ return RedirectResponse(url="/web/")
470
+
471
  @app.get("/web/metadata")
472
  async def web_metadata():
473
  """Get environment metadata."""
 
515
  @app.get("/web/state")
516
  async def web_state():
517
  """State endpoint for web interface."""
518
+ try:
519
+ return web_manager.get_state()
520
+ except RuntimeError as exc:
521
+ raise HTTPException(
522
+ status_code=status.HTTP_409_CONFLICT,
523
+ detail=str(exc),
524
+ ) from exc
525
 
526
  action_fields = _extract_action_fields(action_cls)
527
  is_chat_env = _is_chat_env(action_cls)
src/openenv/core/env_server/web_interface.py CHANGED
@@ -22,7 +22,8 @@ from datetime import datetime
22
  from typing import Any, Callable, Dict, List, Optional, Type
23
 
24
  import gradio as gr
25
- from fastapi import Body, FastAPI, WebSocket, WebSocketDisconnect
 
26
  from pydantic import BaseModel, ConfigDict, Field
27
 
28
  from .gradio_theme import OPENENV_GRADIO_CSS, OPENENV_GRADIO_THEME
@@ -462,6 +463,11 @@ def create_web_interface_app(
462
  web_manager = WebInterfaceManager(env, action_cls, observation_cls, metadata)
463
 
464
  # Web API routes first (so they take precedence over Gradio mount at /web)
 
 
 
 
 
465
  @app.get("/web/metadata")
466
  async def web_metadata():
467
  """Get environment metadata."""
@@ -509,7 +515,13 @@ def create_web_interface_app(
509
  @app.get("/web/state")
510
  async def web_state():
511
  """State endpoint for web interface."""
512
- return web_manager.get_state()
 
 
 
 
 
 
513
 
514
  action_fields = _extract_action_fields(action_cls)
515
  is_chat_env = _is_chat_env(action_cls)
 
22
  from typing import Any, Callable, Dict, List, Optional, Type
23
 
24
  import gradio as gr
25
+ from fastapi import Body, FastAPI, HTTPException, WebSocket, WebSocketDisconnect, status
26
+ from fastapi.responses import RedirectResponse
27
  from pydantic import BaseModel, ConfigDict, Field
28
 
29
  from .gradio_theme import OPENENV_GRADIO_CSS, OPENENV_GRADIO_THEME
 
463
  web_manager = WebInterfaceManager(env, action_cls, observation_cls, metadata)
464
 
465
  # Web API routes first (so they take precedence over Gradio mount at /web)
466
+ @app.get("/", include_in_schema=False)
467
+ async def web_root():
468
+ """Redirect the app root to the Gradio interface."""
469
+ return RedirectResponse(url="/web/")
470
+
471
  @app.get("/web/metadata")
472
  async def web_metadata():
473
  """Get environment metadata."""
 
515
  @app.get("/web/state")
516
  async def web_state():
517
  """State endpoint for web interface."""
518
+ try:
519
+ return web_manager.get_state()
520
+ except RuntimeError as exc:
521
+ raise HTTPException(
522
+ status_code=status.HTTP_409_CONFLICT,
523
+ detail=str(exc),
524
+ ) from exc
525
 
526
  action_fields = _extract_action_fields(action_cls)
527
  is_chat_env = _is_chat_env(action_cls)