Finally got it done, integrated into edulab, open-source! Math problem-solving video generator skill, letting other models have video generation capabilities like Opus. I've tested the sol model in Codex and the Hy4 preview model in workbuddy, and video generation works fine
Open-source math video generator skill ships
The author says an open-source math-solving video generator skill is integrated into edulab, aiming to give models Opus-like video generation; sol in Codex and Hy4 preview in workbuddy passed tests.