morluto/jacobian
View on GitHub ↗Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.
52 ★9 forksPythonUpdated 18d ago
What you need to know
MCP server providing Jacobian mathematical computation and matrix tools.
Reviewed 2026-08-11
Topics
ai-agentsautomated-theorem-provingcomputer-algebracordisdshdsh-pluginformal-methodsformal-verificationlean4mathmcpmcp-servermodel-context-protocolproof-assistantpythonsmt-solversymbolic-mathsympytheorem-provingz3
- Stars
- 52★
- Forks
- 9
- Language
- Python
- License
- MIT
- Created
- 2026-07-23
- Last push
- 2026-08-18