Jacobian MCP Server

English · 简体中文 Jacobian An executable mathematical vocabulary for agents: discover one typed operation, run it, and compose its result. It runs locally over stdio via the published package.

People who work with computer algebra, formal methods and theorem proving and want it reachable from Claude, Cursor, VS Code, or another MCP client. The project is written in Python.

VERIFIED ACTIVE

LAST COMMIT 2026-09-17 · ★ 192 · #15 OF 227 MAINTAINED AUTOMATION · VERIFIED 2026-09-18

MIT · Python servers · how we verify → /methodology

01 · Install Jacobian

Claude Code

claude mcp add morluto-jacobian -- npx -y jacobian

Claude Desktop / Cursor / VS Code - add to config

{
  "mcpServers": {
    "morluto-jacobian": {
      "command": "npx",
      "args": [
        "-y",
        "jacobian"
      ]
    }
  }
}

Same JSON for Cursor. For VS Code, rename the top-level key from `mcpServers` to `servers`.

Using another client? Same JSON, different key

Claude Desktop · mcpServers

Cursor · mcpServers

VS Code · servers

Windsurf · mcpServers

Zed · context_servers

Cline · mcpServers

Roo Code · mcpServers

Continue · mcpServers

LibreChat · mcpServers

Gemini CLI · mcpServers

Codex CLI · mcp_servers

Full setup guides: every client.

02 · Evidence

Security posture

What to check before giving this server access to your agent - from the registry, GitHub, and our own probes. We don't score safety; we show what's verifiable.

runs as local process (stdio) - runs on your machine with your user's permissions

repo age created 2026-07-23 - young repo, little track record yet

license MIT - declared in the repository

npm package jacobian - unscoped; check the name against the project README before installing

registry namespace io.github.morluto is GitHub-verified and matches the repo owner

03 · What Jacobian can do

Prose above is summarized from the project's README and registry record - no invented capabilities.

Latest releases

jacobian-v0.22.0 · 2026-09-17

0.22.0 (2026-09-17) · complex-tori: add polarization search (#2448) · finite-fields: add syzygy producer leaves (#964) · add polygon measure certificates (#974) · add rational polytope join, prism, edge profile, and…

jacobian-v0.21.0 · 2026-09-14

0.21.0 (2026-09-14) · algebraic-numbers: compute exact radix prefixes · compute minimum generalized exact covers · delta-matroids: compute twists and widths · enclose bounded regular curve arclength · finite-fields…

jacobian-v0.20.0 · 2026-09-08

0.20.0 (2026-09-08) · compute exact Lebesgue interval profiles · accept hypergraphs in containment profiles · decide per-set coloring bounds · construct exact distance edge colorings · extend distance profiles to real…

04 · Who maintains Jacobian

Jacobian is maintained by morluto. We track 5 MCP servers from morluto - 5 actively maintained, 744 combined GitHub stars, oldest repo from Apr 2026. Full record: all servers from morluto.

  1. Flameox Bounded local runtime evidence from explicit artifacts and typed direct targets. ★ 114
  2. REA Reverse engineer anything from your terminal or agent with one CLI and MCP server. ★ 412
  3. gitcontribute Local-first GitHub contribution research workbench ★ 3
  4. LeanToken Token-bounded repository context for coding agents over MCP. ★ 23

05 · Facts

category
automation - ranked #15 of 227 actively-maintained automation servers as of 2026-09-18.
release cadence
10+ releases in the last 90 days (latest 2026-09-17)
registry
io.github.morluto/jacobian (active, first published 2026-08-01 · 9 versions)
packages
npm:jacobian

06 · Jacobian FAQ

What is Jacobian?

English · 简体中文 Jacobian An executable mathematical vocabulary for agents: discover one typed operation, run it, and compose its result. It runs locally over stdio via the published package.

Is Jacobian still maintained?

Yes - as of 2026-09-18, its last commit was 2026-09-17 and it shipped 10+ releases in the last 90 days. We re-verify nightly.

How do I install Jacobian?

Run `npx -y jacobian`. You can also paste the ready-made client config above.

Does Jacobian run locally?

Yes - it's a stdio server: it runs on your machine (via npx) with your user's permissions. Your data stays local unless the server itself calls external APIs.

07 · Alternatives to Jacobian