- Conduid
- Marketplace
- #mathematics
MCP servers tagged mathematics
21 live MCP servers tagged "mathematics", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with mathematics.
abhiphile/fermat-mcp
🚀 Fermat MCP: The Ultimate Math Engine - Unifying SymPy, NumPy & Matplotlib in one powerful server! Perfect for devs & researchers.
clouatre-labs/math-mcp-learning-server
Educational MCP server with math operations, matrix algebra, data visualization, and persistent workspace using FastMCP 3.0
Mathematics
A comprehensive Model Context Protocol (MCP) server that turns any AI assistant into a powerful mathematical computation engine.
ML University
Machine Learning Open Source University
Danus
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Claude For Researchers
Practical guide and toolkit for physicists and mathematicians using Claude Code — built from months on a real research project
gebrai
Model Context Protocol server for GeoGebra mathematical visualization
Sagemath MCP
Stateful SageMath MCP server: 40 tools for symbolic math, algebra, number theory, graphs, plotting and claim verification. A persistent Sage session per client, an AST policy in f…
Deepthinking
Comprehensive MCP server with 34 reasoning modes (30 accessible via 13 focused tools) including historical reasoning, academic research (synthesis, argumentation, critique, analys…
Excalc Rs
An expression calculator CLI tool and MCP server built for AI coding agents to outsource arithmetic.
ReasonForge
Modular Mathematics Toolkit MCP Server: 111 tools that give LLMs exact math instead of hallucinated guesses. Routes calculations through SymPy/NumPy/SciPy for provably correct res…
Math Workspace
Local workspace for long-form mathematical writing, structural review, Lean alignment, and Codex collaboration ｜ 面向长篇数学写作、结构审阅、Lean 对齐与 Codex 协作的本地工作空间
Symbolic Math MCP
MCP server for symbolic math derivation, calculation, and verification
T MCP Math
Comprehensive symbolic and numerical mathematics
Ultimath MCP
Stop hallucinating numbers. MCP server for Ultimath: math on multiple independent engines, in parallel.
Bicmath
BicMath is a modular Rust computation engine for mathematics, statistics, finance, and optimization. Available through MCP, CLI, Rust API, and WebAssembly—with exact arithmetic, e…
Maff
A self-hosted math research workspace built around Markdown vaults, MCP, Quartz and Lean 4.
InferFund
Donate AI inference to advance open mathematical problems.
Papercheck
A reproducible audit harness for mathematical LaTeX papers: deterministic scanner, schema-validated issue ledgers with mechanical quote verification, and a stage-gated final gate…
Math Anchor
Math Anchor — safe exact and scientific math, units, and dimensional analysis for humans and Agents (macOS + MCP/Codex plugin)
TheoremSearch MCP
MCP wrapper for TheoremSearch (UW Math AI Lab) — semantic search over 9.27M mathematical statements across arXiv, Stacks Project, ProofWiki & more. Includes official remote MCP re…