server/config.py

"""Server configuration."""

from pydantic import BaseModel


class ServerConfig(BaseModel):
    host: str = "0.0.0.0"
    port: int = 7860
    default_difficulty: int = 1
    max_episodes: int = 1000
    seed: int | None = None