我在過去一週一直在開發環境。我相信這可以滿足大眾對強化學習環境的需求。還有很多有趣、酷炫的東西可以測試，包括我創建的受StepRunProver啟發的多輪Lean4證明環境。