MCP server

Moonshot Math

hf/Tonic/Math

Checked 26 Oct 2026, 08:30 UTC · Hugging Face reports it running

Formal reasoning model that can reason and prove theorems

Website

At a glance

Type

MCP server

Publisher

Not verified

Status

Working at last check

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

26 Oct 2026, 08:30 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http math https://tonic-math.hf.space/gradio_api/mcp/

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.math]
url = "https://tonic-math.hf.space/gradio_api/mcp/"

Gemini CLI

{"mcpServers":{"math":{"httpUrl":"https://tonic-math.hf.space/gradio_api/mcp/"}}}

Cursor

{"mcpServers":{"math":{"url":"https://tonic-math.hf.space/gradio_api/mcp/"}}}

VS Code

{"servers":{"math":{"type":"http","url":"https://tonic-math.hf.space/gradio_api/mcp/"}}}

Antigravity

agy mcp add math https://tonic-math.hf.space/gradio_api/mcp/

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"math","server_url":"https://tonic-math.hf.space/gradio_api/mcp/","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"math","server_url":"https://tonic-math.hf.space/gradio_api/mcp/"}

Related MCP servers

• Icme Preflight
  Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
• MaCalculatriceEnLigne
  Calculatrices francaises : salaire net, SMIC, impots, bareme kilometrique, TVA, conversions.
• Kaiku
  Issue tracker and wiki for teams and their agents: find, file and update issues, write pages.
• Lemma Park
  Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
• API Tool Calls
  94 tools, one small door: home costs, fitness, QR, barcodes, Markdown, SEO, recalls.
• CalcBright Calculators
  160+ calculators: take-home pay for 166 countries, mortgage, loan, VAT, BMI, dates, units, currency.
• Income Checker
  Income and rent calculators, pay stub math checks, and bank-based income analysis tools.
• TheProtocol — Sovereign AI Agent Platform
  Sovereign AI agent economy: identity, payments, governance, exchanges. 400+ tools, ?mode=gateway.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/hf/Tonic/Math.svg)](https://aptlynx.net/servers/hf/Tonic/Math)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents