Running on Zero Agents Featured 37 MiniMax-H3 Audio to Video 🔊 37 A first frame plus your own soundtrack, driving MiniMax-H3
Running on Zero MCP 2 MathForm-8B Autoformalization 📐 2 Turn natural-language math into Lean 4 statements