Space: Tonic/Math
title: Moonshot Math
sdk: gradio
license: mit
short_description: Formal reasoning model that can reason and prove theorems
Tags: gradio, mcp-server, region:us