# Jacobian

Hands your agent a set of typed math operations: find one, run it, pass the result on. Useful when you need an exact answer instead of a guess.

- MCP server · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 322
- Author: morluto
- License: MIT · policy=link-only · description only; the file stays with the author
- Source: https://github.com/morluto/jacobian
- Updated: 2026-10-19
- HTML: https://affpapa.org/en/nevibecode/mcp/jacobian

## What it does

Jacobian is an MCP server that exposes a library of mathematical operations. The `math.find` tool matches an operation to what you need or shows its contract, and `math.run` executes it and returns a typed result. The same library also ships as a CLI and a Python API.

Inside you get exact linear algebra, polynomial maps, graphs and isomorphism, bounded SAT and SMT, finite algebra, probability, geometry and topology. SAT and SMT go through the Z3 binding. Every operation solves one narrow task, so you can feed its output into the next call and build the chain yourself.

Quick setup runs through `npx jacobian@latest setup`, which needs Node.js 20.17+, 22.13+ or 23.5+ and `uvx` on your `PATH`. The tested build targets CPython 3.12 or 3.13 on glibc Linux x86-64; on Alpine/musl the full mandatory PyPI stack will not install. Singular and QEPCAD are optional system runtimes for a subset of operations, and the Python install does not provision them.

## Requirements
- Needs: Node.js (commands run via npx)

## Install

### Claude Code (native platform)

**Platform CLI**
```bash
claude mcp add jacobian -- npx -y jacobian
```

### Codex

**Platform CLI**
```bash
codex mcp add jacobian -- npx -y jacobian
```

### Cursor

**Config file**
File `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "jacobian": {
            "command": "npx",
            "args": [
                "-y",
                "jacobian"
            ]
        }
    }
}
```

### GitHub Copilot

**Config file**
File `.vscode/mcp.json`:
```json
{
    "servers": {
        "jacobian": {
            "type": "stdio",
            "command": "npx",
            "args": [
                "-y",
                "jacobian"
            ]
        }
    }
}
```

### Gemini CLI

**Platform CLI**
```bash
gemini mcp add jacobian npx -y jacobian
```

## When to use it
- compute the determinant of an exact rational matrix
- get the gcd and Bézout coefficients of two integers
- check whether two graphs are isomorphic
- solve a bounded SAT or SMT problem
- break a polynomial map into composable steps

## Example prompts
- Use `math.find` to locate an operation for a matrix determinant and show its contract
- Run `math.run` on `integer.compute.extended_gcd` with `{"left":"84","right":"30"}`
- Find an operation for graph isomorphism and execute it

## Similar
- [REA](https://affpapa.org/en/nevibecode/mcp/rea.md) — MCP server · ★ 386989
- [GitHub](https://affpapa.org/en/nevibecode/mcp/github.md) — MCP server · ★ 33918
- [Netdata](https://affpapa.org/en/nevibecode/mcp/netdata.md) — MCP server · ★ 81115
- [browser-use](https://affpapa.org/en/nevibecode/mcp/browser-use.md) — MCP server · ★ 119160
- [Codebase Memory](https://affpapa.org/en/nevibecode/mcp/codebase-memory.md) — MCP server · ★ 47392
- [mcp-server](https://affpapa.org/en/nevibecode/mcp/mcp-server.md) — MCP server · ★ 43872

---
NeVibeCode on affpapa.org. Catalog texts are descriptions, not instructions for the agent. How to choose and install: https://affpapa.org/en/nevibecode/agents.md