"""OpenEnv HTTP server entrypoints for dungeon environments."""