What is the jacobian MCP server?

morluto/jacobian — Composable mathematics tools for agents AgentRank score: 89.5/100.

Is the jacobian MCP server actively maintained?

The jacobian MCP server was last committed 29d ago and has 14 contributors. Issue health: 94% of issues resolved. AgentRank freshness score reflects real-time maintenance activity.

jacobian MCP Server

Name: morluto/jacobian
Rating: 4.6 (1 reviews)
Author: morluto

morluto/jacobian

Score: 89.5 → 0% Rank #388 MCP Server

[![AgentRank](https://agentrank-ai.com/api/v1/badge/morluto--jacobian)](https://agentrank-ai.com/tool/morluto--jacobian/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

Are you the maintainer of morluto/jacobian? Claim this listing →

Composable mathematics tools for agents

Add AgentRank to Claude Code Discover and compare tools like morluto/jacobian — your AI finds the right one automatically

Get API Access →

claude mcp add agentrank -- npx -y agentrank-mcp-server

Overview

morluto/jacobian is a Python tool licensed under MIT. Composable mathematics tools for agents Topics: ai-agents, computer-algebra, formal-methods, mcp, mcp-server, theorem-proving, lean4, sympy, automated-theorem-proving, formal-verification, proof-assistant, math, model-context-protocol, python, symbolic-math, dsh-plugin, cordis, dsh, erdos, erdos-problem.

Ranked #388 out of 24846 indexed tools.

In the top 2% of all indexed tools.

Has 14 contributors.

Ecosystem

Python MIT

ai-agentscomputer-algebraformal-methodsmcpmcp-servertheorem-provinglean4sympyautomated-theorem-provingformal-verificationproof-assistantmathmodel-context-protocolpythonsymbolic-mathdsh-plugincordisdsherdoserdos-problem

Score Breakdown

Stars 15% 258

258 stars → growing community

Freshness 25% 29d ago

Last commit 29d ago → recently updated

Issue Health 25% 94%

1924/2045 issues closed → responsive maintainer

Contributors 10% 14

14 contributors → active community

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 24

Description Brief

License MIT

Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →

Badge all embed codes →

Markdown

[![AgentRank](https://agentrank-ai.com/api/v1/badge/morluto--jacobian)](https://agentrank-ai.com/tool/morluto--jacobian/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/morluto--jacobian/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/v1/badge/morluto--jacobian" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="morluto/jacobian"></script>

Details

Stars: 258
Forks: 24
Open Issues: 121
Closed Issues: 1,924
Contributors: 14
Dependents: —
Language: Python
License: MIT
Last Commit: 29d ago

Matched Queries

topic:mcptopic:mcp-servertopic:model-context-protocol

From the README

**English** · [简体中文](README.zh-CN.md)

<h1 align="center">Jacobian</h1>

<p align="center">
  <strong>An executable mathematical vocabulary for agents: discover one typed operation, run it, and compose its result.</strong>
</p>

<p align="center">
  <a href="https://github.com/morluto/jacobian/actions/workflows/ci.yml"></a>
  <a href="https://pypi.org/project/jacobian/"></a>
  <a href="https://www.npmjs.com/package/jacobian"></a>
  <a href="https://pypi.org/project/jacobian/"></a>
  <a href="LICENSE"></a>
</p>

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.

Each operation establishes one stable, reusable mathematical postcondition
rather than prescribing a workflow or proof strategy. Results are exact where
claimed an

Read full README on GitHub →

See alternatives to morluto/jacobian → Browse mcp-server category → Best MCP Server MCP servers → Compare morluto/jacobian → How to Build an MCP Server in 2026 →MCP Server Comparison: Top 10 Head-to-Head →

View on GitHub →