Vibe Coding Discoverjacobian
View on GitHubComposable mathematics tools for agents
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.
Use Cases
Give AI agents searchable typed math operations via MCPExact rational linear algebra computationsBounded SAT/SMT solving through Z3Polynomial and symbolic algebra operationsGraph, path, coloring and isomorphism queriesComposing math primitives into agent reasoning chainsCLI invocation of math operations as JSONBacking theorem-proving and formal-methods workflows
Built With
- Language
- Python
- Frameworks
- MCP · SymPy · NetworkX · Z3 · python-flint · CyPari · SciPy · Pydantic · Typer · anyio
Tags
mcp · mcp-server · math · symbolic-math · computer-algebra · theorem-proving · formal-verification · sat-smt · linear-algebra · graph-algorithms · python · agent-tools · cli · lean4