jacobian

English · 简体中文

Jacobian 是一个 MCP 服务器，为 AI 智能体提供可搜索的类型化数学操作词汇表。math.find 用于发现操作，math.run 则执行一个有界数学契约并返回类型化结果。同一数学库也可通过 CLI 和原生 Python API 使用。

每个操作都建立了一个稳定、可复用的数学后置条件，而非规定工作流或证明策略。结果在声明处精确，并明确标注近似、不完备或不确定性。

Jacobian 的假设是：数学推理受益于一个由语义上有界、范围明确的操作组成的可执行词汇表。 与其暴露大型领域求解器或预组合工作流，Jacobian 提供的是数学原语，智能体可以搜索这些原语并组合出超出任何单个操作设计目标的解决方案。该库提供可信的数学步骤；推理模型决定执行哪些步骤、如何组合其结果以及何时停止。保持操作的语义狭窄且领域专属，从而保留了搜索空间，而不是将某种证明策略或工作流固化到工具本身中。

参见可执行数学词汇表，了解语义原子性的含义以及操作词汇表如何扩展。

快速开始

在不全局安装 Jacobian 的情况下运行标准 Python MCP 命令：

uvx --from jacobian jacobian-mcp

当 MCP 主机需要 npm 命令时，npm 包是该命令的确定性载体：

npx jacobian mcp

对于持久化安装：

python -m pip install jacobian
jacobian-mcp

该包包含 Jacobian 精确维护的 Python 后端技术栈：SymPy、NetworkX、Z3 和 Python-FLINT。因此，常规的 Python 或 npm 安装会暴露相同的、基于 Python 的操作组合。经过测试的二进制安装契约是 CPython 3.12 或 3.13，运行于 glibc Linux x86-64 平台；发布门禁会安装构建好的 wheel 并在两个 Python 版本上启动 Jacobian。其他系统可能具有兼容的上游 wheel，但不属于已测试的发布契约。特别是，Alpine/musl 无法从 PyPI 安装完整的必需技术栈。

Python 发行版包含数学内核、CLI 和 MCP 服务器。npm 包将其精确的包版本确定性地映射到相应的 uvx 调用。

Related MCP server: math-logic-mcp

计算一个有界结果

一个普通操作首先返回数学结果。例如，matrix.determinant.compute 接受一个精确有理矩阵并返回其行列式。调用者通过传递类型化值来组合结果，以进行后续操作。

可用的数学内容

内置操作组合涵盖以下领域：

• 多项式映射与多项式代数；

• 精确线性代数；

• 图、路径、着色与同构；

• 有界 SAT 与 SMT 求解；

• 有限代数、概率、几何与拓扑；

• Lean 源码精化。

SAT 与 SMT 操作直接使用维护的 Z3 Python 绑定。可选的 lean.check 操作在固定的 Lean 服务环境中运行一个有界源码片段，使用请求作用域的临时目录，并返回类型化诊断信息。使用 math.find 搜索操作、浏览不熟悉的领域，并在调用 math.run 之前检查某个操作。

参见领域操作库，了解维护的操作组合以及后端要求。

状态

Jacobian 0.12.0 为预稳定版本。其已发布的包和操作契约描述了受支持的接口；实验性操作契约可能在版本之间发生变化。

文档

• 文档首页：教程、操作指南、参考和解释

• 架构：运行时结构与信任边界

• 产品模型：操作契约、所有权与项目边界

• 工具参考：MCP 资源与调用契约

• 后端要求： 受维护的 Python 后端与可选的 Lean

• 远程部署：HTTP 部署与认证

贡献

Jacobian 使用 Python 3.12、uv 和一个精简的 Makefile：

make setup
make test-math
make check

在修改代码之前，请阅读 CONTRIBUTING.md。其中记录了聚焦的测试命令、验证规则、文档放置位置以及拉取请求的期望。

许可证

MIT