# Copyright (c) Meta Platforms, Inc. and affiliates. # All rights reserved. # # This source code is licensed under the BSD-style license found in the # LICENSE file in the root directory of this source tree. """ FastAPI application for the Axiomforgeai Environment. This module creates an HTTP server that exposes the AxiomforgeaiEnvironment over HTTP and WebSocket endpoints, compatible with EnvClient. Endpoints: - POST /reset: Reset the environment - POST /step: Execute an action - GET /state: Get current environment state - GET /schema: Get action/observation schemas - WS /ws: WebSocket endpoint for persistent sessions Usage: # Development (with auto-reload): uvicorn server.app:app --reload --host 0.0.0.0 --port 8000 # Production: uvicorn server.app:app --host 0.0.0.0 --port 8000 --workers 4 # Or run directly: python -m server.app """ from fastapi import Request from fastapi.responses import HTMLResponse try: from openenv.core.env_server.http_server import create_app except Exception as e: # pragma: no cover raise ImportError( "openenv is required for the web interface. Install dependencies with '\n uv sync\n'" ) from e try: from ..models import AxiomforgeaiAction, AxiomforgeaiObservation from .AxiomForgeAI_environment import AxiomforgeaiEnvironment except ImportError: from models import AxiomforgeaiAction, AxiomforgeaiObservation from server.AxiomForgeAI_environment import AxiomforgeaiEnvironment # Create the app with web interface and README integration app = create_app( AxiomforgeaiEnvironment, AxiomforgeaiAction, AxiomforgeaiObservation, env_name="AxiomForgeAI", max_concurrent_envs=1, # increase this number to allow more concurrent WebSocket sessions ) _HOMEPAGE_HTML = """ AxiomForgeAI — Math RL Environment
OpenEnv Hackathon India 2026

AxiomForgeAI

A self-improving math RL environment. The model practices on verified problems, generates new challenges when ready, and learns from solution attempts whose reasoning steps and final answers agree.

POST /reset

Start a new episode. Returns a math question with topic and difficulty metadata.

POST /step

Submit a solution for the current question. Returns reward, feedback, and scoring breakdown.

GET /state

Get the current episode state including episode ID and step count.

GET /schema

Returns JSON schemas for action and observation types.

GET /health

Health check endpoint. Returns server status and environment availability.

WS /ws

WebSocket endpoint for persistent sessions. Supports concurrent multi-agent connections.

Swagger UI ReDoc GitHub HF Space
""" @app.get("/", response_class=HTMLResponse, include_in_schema=False) async def homepage(_request: Request) -> HTMLResponse: return HTMLResponse(content=_HOMEPAGE_HTML) def main(host: str = "0.0.0.0", port: int = 8000): """ Entry point for direct execution via uv run or python -m. This function enables running the server without Docker: uv run --project . server uv run --project . server --port 8001 python -m AxiomForgeAI.server.app Args: host: Host address to bind to (default: "0.0.0.0") port: Port number to listen on (default: 8000) For production deployments, consider using uvicorn directly with multiple workers: uvicorn AxiomForgeAI.server.app:app --workers 4 """ import uvicorn uvicorn.run(app, host=host, port=port) if __name__ == "__main__": main()