Skip to content
appsgit

Jacobian

Jacobian is an MCP server that adds tools to AI assistants such as Claude Desktop, Claude Code and Cursor. Executable mathematics and independent verification for AI agents. It has 323 GitHub stars, is released under the MIT license and runs locally with npx -y jacobian.

github.com/morluto/jacobian (opens in a new tab)

Data as of from the GitHub API and the official MCP registry; description from the project's repository. Report an error

View on GitHub (opens in a new tab)

Install Jacobian

Generated from the server's MCP registry entry. Replace your-value with your own values.

Claude Desktop

claude_desktop_config.json
{
  "mcpServers": {
    "jacobian": {
      "command": "npx",
      "args": [
        "-y",
        "jacobian"
      ]
    }
  }
}

Settings > Developer > Edit Config. macOS: ~/Library/Application Support/Claude/, Windows: %APPDATA%\Claude\. Restart Claude Desktop afterwards.

Claude Code

claude mcp add --transport stdio jacobian -- npx -y jacobian

Cursor

.cursor/mcp.json
{
  "mcpServers": {
    "jacobian": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "jacobian"
      ]
    }
  }
}

Project file; use ~/.cursor/mcp.json to enable it in every project.

VS Code

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

Config formats checked against the official docs on Oct 7, 2026: modelcontextprotocol.io (opens in a new tab), code.claude.com (opens in a new tab), cursor.com (opens in a new tab), code.visualstudio.com (opens in a new tab).

About Jacobian

An executable mathematical vocabulary for agents: discover one typed operation, run it, and compose its result. Jacobian is an MCP server that gives AI agents a searchable vocabulary of typed mathematical operations. math.find matches a mathematical need or inspects one exact contract, and math.run executes it and returns its typed result. The same mathematical library is also available through a CLI and native Python API.

  • ai-agents
  • computer-algebra
  • formal-methods
  • mcp
  • mcp-server
  • theorem-proving
  • lean4
  • sympy
  • automated-theorem-proving
  • formal-verification

Similar MCP servers

More other MCP servers

All Other

FAQ

Jacobian FAQ

Still curious? Email info@appsgit.com.

How do I install the Jacobian MCP server?

Add the command npx -y jacobian to your MCP client: put it in claude_desktop_config.json for Claude Desktop, run claude mcp add for Claude Code, or add it to .cursor/mcp.json (Cursor) or .vscode/mcp.json (VS Code). The snippets on this page are ready to paste.

Is Jacobian free?

The server is open source under the MIT license, so running it is free. It does not declare any required API key.

Is Jacobian actively maintained?

The most recent commit was on Oct 4, 2026. The latest release is jacobian-v0.23.0, published Oct 3, 2026. appsgit only lists MCP servers with a commit in the last six months.