jacobian

morluto/jacobian

★ 5 stars Python AI/LLM Updated today

Jacobian: an MCP server, CLI, and Python library that gives AI agents a composable toolbox of mathematical capabilities with inspectable artifacts and independent verification.

View on GitHub → 🔍 Audit Wallet Slippage →

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "jacobian": {
      "command": "uvx",
      "args": [
        "jacobian"
      ]
    }
  }
}

Or install with pip: pip install jacobian

README Excerpt

<p align="center"> <img src="docs/assets/jacobian-hero.jpg" width="100%" alt="An archival-style black-and-white photograph of a mathematician working at a chalkboard, with a constant Jacobian determinant and three distinct inputs mapping to one output."> </p> <h1 align="center">Jacobian</h1> <p align="center">

Tools (1)

Makefile

Topics

ai-agentsautomated-theorem-provingcombinatoricscomputer-algebraconjectureconstraint-solvingcoqformal-methodsformal-verificationgraph-theoryisabellejacobianlean4mcpmcp-server

jacobian

Quick Install

README Excerpt

Tools (1)

Topics

Related AI/LLM Servers