Jacobian MCP Server

by morluto• 349•• Scanned•Claim this listing•Request removal
Coding Agentsai agentsautomated theorem provingcomputer algebracordisdsh

Composable mathematics tools for agents

Jacobian is an open-source mcp server by morluto, written mainly in Python, with 349 GitHub stars and the MIT license. Its code was last updated Oct 29, 2026. The latest npm release is jacobian 0.23.0, published Oct 3, 2026, with 98 downloads last week.

Scan summary: scanned Nov 5, 2026 at commit ea52eb5. Seen able to read environment and secrets, connect to the internet. Scan policy

How to install Jacobian

Built from the start command in the project's README: npx jacobian@latest setup. Check the README for required keys or settings.

Claude Code · Terminal
claude mcp add jacobian -- npx jacobian@latest setup
Claude Desktop · claude_desktop_config.json
{
  "mcpServers": {
    "jacobian": {
      "command": "npx",
      "args": [
        "jacobian@latest",
        "setup"
      ]
    }
  }
}
Cursor · .cursor/mcp.json
{
  "mcpServers": {
    "jacobian": {
      "command": "npx",
      "args": [
        "jacobian@latest",
        "setup"
      ]
    }
  }
}
VS Code · Terminal
code --add-mcp '{"name":"jacobian","command":"npx","args":["jacobian@latest","setup"]}'

What Jacobian can touch

  • Run shell commandsNot seen in this scan
  • Run dynamic codeNot seen in this scan
  • Read or write filesNot seen in this scan
  • Read environment and secretsFound in the code by our scan
  • Control a web browserNot seen in this scan
  • Connect to databasesNot seen in this scan
  • Read or send messagesNot seen in this scan
  • Touch money or tradingNot seen in this scan
  • Connect to the internetFound in the code by our scan

"Not seen" means our checks did not find it, and the tool may still do it. Covers commit ea52eb5, Nov 5, 2026. See the scan policy.

Before you install Jacobian

AgenticMart scanned Jacobian on Nov 5, 2026 with automated checks for hidden code, known-malicious packages, leaked secrets and vulnerable dependencies. The result covers one commit under our scan policy, so review what access you give it and check any advisories shown here.

What it can access

  • An MCP server is a program your AI app starts and talks to. A local one runs with your user's permissions: it can see the files, environment variables and network your account can.

Before you install

  1. Pin the version you reviewed instead of always installing the latest release.
  2. Read the tool list or scripts before the first run, and keep approval prompts on for actions that write, send or delete.
  • Maintained by morluto on GitHub, 349 stars and 45 forks. Popularity is not proof of safety.
  • Last code change: Oct 29, 2026.
  • Open-source license: MIT.

Jacobian is an open-source mcp server by morluto, written mainly in Python. Composable mathematics tools for agents

At a glance

Stars
349
Forks
45
Language
Python
License
MIT
Created
Jul 2026
Last update
Oct 29, 2026
Type
MCP Server
Price
Free

Topics

ai-agentsautomated-theorem-provingcomputer-algebracordisdshdsh-pluginerdoserdos-problemformal-methodsformal-verificationlean4mathmcpmcp-servermodel-context-protocolproof-assistantpythonsymbolic-mathsympytheorem-proving

Questions about Jacobian

What is Jacobian?

Composable mathematics tools for agents

Who maintains Jacobian?

Jacobian is maintained by morluto on GitHub (morluto/jacobian). AgenticMart lists it from public repository data.

Is Jacobian safe to use?

AgenticMart scanned Jacobian on Nov 5, 2026 with automated checks for hidden code, known-malicious packages, leaked secrets and vulnerable dependencies. The result covers one commit under our scan policy, so review what access you give it and check any advisories shown here.

What license does Jacobian use?

It is published under the MIT license.

Jacobian alternatives

View more →

Similar mcp servers in Coding Agents, ranked by GitHub stars. Compare licence, recent activity and scan status before you choose.

NameStarsLicenceLast updatedScan
Jacobian (this page)
morluto
349MITOct 29, 2026Scanned, no flagged issues
Context Mode
mksglu
33kNone foundNov 1, 2026Not scanned yet
Serena
oraios
31kNone foundOct 28, 2026Not scanned yet
Fastmcp
PrefectHQ
28kApache-2.0Nov 1, 2026Scanned, no flagged issues
Nuclear
nukeop
19kAGPL-3.0Nov 1, 2026Scanned, no flagged issues
MCP For Beginners
microsoft
18kMITOct 30, 2026Scanned, no flagged issues