Backing Theorem-proving And Formal-methods Workflows

Jacobian is an MCP server exposing a searchable vocabulary of typed mathematical operations: math.find matches or inspects an operation contract, math.run executes it and returns exact typed results. Also usable via CLI and a Python API, backed by SymPy, NetworkX, Z3 and python-flint.

MCP | Python · mcp-server · math