jacobian
An MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence.
- Score
- 90.3492 signals
- Evidence
- 112 stars · 11 forks
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- qualitymax-qa-mcp2 stars32.223
- axiom-advanced-math-mcp2 stars32.223
What it is
An MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence.
When to use it
An MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.