models.py

# Re-export models from server for OpenEnv compatibility

from server.models import SpecGamingAction, SpecGamingObservation

__all__ = ["SpecGamingAction", "SpecGamingObservation"]