unsolve — Math, solved. Step by step.
unsolve is a free, deterministic math solver: a web playground and a remote MCP server for mathr, a pure-Rust mathematics library and CLI. The same TypeScript engine that powers this site also serves AI agents over the Model Context Protocol — no API key, no LLM, no network calls once the page loads.
Solve math in your browser
Open the playground at unsolve.org/#playground and type a problem using the mathr command language, or just enter an expression. LaTeX input is accepted ($\frac{1}{2}$, \sqrt{x}, \sin(\pi/4)).
- diff <expr> — symbolic derivative with step-by-step rules; diff ... at p evaluates it at a point
- integrate <expr> — antiderivative + C; integrate ... from a to b for numeric definite integrals
- solve <equation> — exact linear and quadratic roots (complex included), rational roots for higher degrees, numeric root finding
- limit <expr> at p — limits via L'Hôpital's rule, including at ±∞
- taylor <expr> — Taylor series expansion up to 12 terms
- expand <expr> — polynomial expansion; apart <expr> — partial fractions
- poly-roots <coeffs> — all real and complex roots (Durand–Kerner)
- det / inv / transpose / linsolve — exact matrix operations on [a, b; c, d] literals, incl. linear systems
- gcd, lcm, factor, is-prime, fib, binom — number theory with exact big integers
- stats ... — descriptive statistics; <expr> — exact evaluation (1/2 + 3/4 = 5/4)
Free math MCP server for AI agents
Point any MCP client (Cursor, Claude Desktop, Claude Code, Windsurf) at
https://unsolve.org/api/mcp —
Streamable HTTP, stateless, no authentication. Twelve tools are available:
evaluate, differentiate, integrate,
solve, limit, apart, poly-roots,
matrix, number-theory, stats,
simplify, and taylor.
Every result returns structured JSON with plain-text output, LaTeX, and
step-by-step working, ready to drop into agent context. Rate limit:
60 requests per minute per IP.
Frequently asked questions
What is unsolve?
The web playground and remote MCP server for mathr, shipping a TypeScript port of mathr's symbolic core.
Does unsolve use an LLM?
No. Results are computed by a deterministic symbolic engine — same input, same output, every time.
How accurate are the results?
Rational inputs use exact fraction arithmetic; derivatives and antiderivatives are symbolic; numeric roots converge to about 1e-12.
What can it solve?
Derivatives, integrals, equations up to arbitrary degree, Taylor series, simplification, and exact evaluation with LaTeX input.
How do I add it to my MCP client?
Add https://unsolve.org/api/mcp to your client's MCP config. Works with Cursor, Claude Desktop, Claude Code, and Windsurf.
What's the difference between unsolve and the mathr CLI?
unsolve covers mathr's symbolic core. The Rust CLI adds numerical
quadrature, FFT, linear algebra (LU/QR/SVD/eigen), ODE solvers,
statistics, number theory, plotting, and a Jupyter-like notebook —
install with cargo install mathr.