adds mcp server, ssrmode false , refactor the global variables 359841d unverified Tonic commited on Jul 13, 2025
adds mcp server, ssrmode false , refactor the global variables ef5351a unverified Tonic commited on Jul 13, 2025
Merge branch 'main' of https://huggingface.co/spaces/Tonic/Moonshot-Math 8ed5286 unverified Tonic commited on Jul 13, 2025
avoids timeout error by reducing the output tokens for unimath examples 99861f6 unverified Tonic commited on Jul 13, 2025
remove lean4 from gradio block declaration, replace with python 7bd644e unverified Tonic commited on Jul 13, 2025