Verified record · from the answer index
Moonshot Math
mcptested · static-verifiedscore 35/100signed passport ✓published 465d ago · verified 2026-10-2042 uses
Formal reasoning model that can reason and prove theorems
Declared tools (1)
Math_chat_handler
hfspace:Tonic/Math