Какие енвы еще можно добавить в re-rl? https://github.com/researchim-ai/re-rl я давно хотел lean добавить теперь он есть в целом наверное можно идти в компьютерно-агенточные штуки... но для этого отдельный будет пакет