Jacobian

Universal library of math tools that AI agents can compose via MCP

Pluginfree

Jacobian is a free, open-source MCP server exposing an atomic library of mathematical tools — computer algebra, automated theorem proving, formal verification, and symbolic math via Lean4, SMT solvers, SymPy, and Z3 — that AI agents can compose to do rigorous, verifiable math reasoning. It's for developers building AI agents that need trustworthy mathematical results instead of an LLM's own error-prone arithmetic and symbolic reasoning.

Website

Full match profile

Behind the summary, Matchbox keeps a richer profile of Jacobian - the signals our matcher actually reads to decide when to surface it. It stays private; claim the listing to see and control it.

Problem & pain-point mapping
Who we surface it to (audience fit)
What it's a strong alternative to
Trust & credibility signals

Claim Jacobian to unlock →

Try Matchbox with your own problem

Describe what is not working - we’ll show you whether Jacobian (or something else) actually fits.

Try a problem