server/app.py

"""
FastAPI application for the SQL Query Writing Environment.

Endpoints:
    - POST /reset: Reset the environment
    - POST /step: Execute an action (SQL query)
    - GET /state: Get current environment state
    - GET /health: Health check
    - GET /web: Interactive Gradio playground
    - WS /ws: WebSocket endpoint for persistent sessions
"""

try:
    from openenv.core.env_server.http_server import create_app
except Exception as e:
    raise ImportError(
        "openenv is required. Install with: pip install openenv-core"
    ) from e

try:
    from ..models import SQLAction, SQLObservation
    from .sql_env_environment import SQLEnvironment
except (ImportError, ModuleNotFoundError):
    from models import SQLAction, SQLObservation
    from server.sql_env_environment import SQLEnvironment


app = create_app(
    SQLEnvironment,
    SQLAction,
    SQLObservation,
    env_name="sql_env",
    max_concurrent_envs=3,
)


# Mount the custom Gradio UI
import gradio as gr
from server.gradio_ui import create_gradio_app

gradio_app = create_gradio_app()
app = gr.mount_gradio_app(app, gradio_app, path="/")


def main(host: str = "0.0.0.0", port: int = 8000):
    """Entry point for direct execution."""
    import uvicorn
    uvicorn.run(app, host=host, port=port)


if __name__ == "__main__":
    main()