Running on Zero MCP 2 MathForm-8B Autoformalization 📐 2 Turn natural-language math into Lean 4 statements
Running on Zero Agents Featured 264 MiniMax Music 3 Studio 🎵 264 Generate custom music tracks from text captions and lyrics