MIT 协议的 MCP 服务器（同时提供 CLI 与 Python API），给 agent 一套带类型、可检索的有界数学操作词表——结果精确，近似与不确定性都会显式标出。
DSH 适配
兼容
作者声明
安全审计
未审计
最后核验
2026-08-29
许可证
MIT
01它能帮你完成什么？
给 AI agent 一套可检索、带类型的数学操作词表，用于发现与执行
被发现操作的签名（`math.find`），或单个有界契约的带类型结果（`math.run`）
需要精确、可组合的数学原语，而非大型领域求解器的 agent 与开发者
在不依赖证明策略或求解器的前提下，把精确、明确的数学结果组合进 agent 工作流
声称精确处即精确的结果，且近似、不完整或不确定性都会被显式标出
希望获得有界、可复用数学后置条件的推理 / 定理证明类 agent 与工具开发者
02如何接入 DeepSeek Harness？
作者未说明
03DSH 适配与能力边界
以 MCP 服务器形式对外提供带类型的数学操作，agent（含 DeepSeek Harness）通过 MCP 接入；同一套库也提供 CLI 与原生 Python API。
math.find — 发现一个操作
针对某个数学操作的自然语言或带类型查询→匹配到的带类型操作的签名
math.run — 执行单个有界契约
一个已发现的操作及其带类型的参数→恰好一个有界数学契约的带类型结果
CLI 与原生 Python API
从 shell 或 Python 调用同一套数学库→在 MCP 服务器之外得到相同的带类型结果
04适合谁？何时不该用？
适合
- 需要精确、可组合的数学原语，而非大型领域求解器的 agent 与开发者
- 希望获得有界、可复用数学后置条件的推理 / 定理证明类 agent 与工具开发者
05兼容性、维护与安全提示
- 每次调用都被限定在单个有界、可复用的数学后置条件内；Jacobian 不规定流程或证明策略。
- 在声称精确处结果即精确；当结果近似、不完整或不确定时，Jacobian 会显式标出，而不是隐藏。
MIT · 活跃维护中（最新发布 jacobian-v0.15.1，2026-08-27）
06常见问题
怎么把 Jacobian 接到 DeepSeek Harness？
Jacobian 是一个 MCP 服务器，把它加入 DeepSeek Harness 的 MCP 配置即可；如果不需要跑服务器，同一套数学库也可以直接用 CLI 或原生 Python API 调用。
`math.find` 和 `math.run` 有什么区别？
`math.find` 从可检索词表中发现一个带类型的操作；`math.run` 执行恰好一个有界数学契约并返回带类型的结果——一次调用对应一条后置条件。
结果是精确的吗？
在声称精确的地方就是精确的。当计算是近似、不完整或不确定时，Jacobian 会显式标出这种近似、不完整或不确定性，而不是隐藏它。
它能替代证明助手或 SMT 求解器吗？
不能。每个操作只确立一条稳定、可复用的数学后置条件，而不是规定流程或证明策略，也不会暴露大型领域求解器——它是一套可组合的有界操作词表。
支持哪些语言或运行时？
数学库有三种使用方式：给 agent 的 MCP 服务器、CLI，以及原生 Python API，因此既能在 DeepSeek Harness 里调用，也能接入任意 Python 工具链。
07相关的 DSH 工作流
ruflo
作者 ruvnet
原版智能体元框架（meta-harness）：支持多智能体集群部署、自主工作流编排与对话式 AI 系统构建，内置自适应记忆、自学习智能与 RAG 检索，原生集成 Claude Code / Codex / Hermes 等大量工具。
reactive-resume
作者 reactive-resume
开源简历制作插件，强调隐私保护，支持自定义、可移植和自托管。
everos
作者 evermind-ai
为所有 AI 智能体提供的便携统一记忆层，本地优先、Markdown 原生、数据归用户所有，跨应用与工作流自进化。
openpencil
作者 zseven-w
全球首个开源 AI 原生矢量设计工具，支持并发智能体团队，可在画布上直接通过提示词生成 UI。
08数据与来源
Jacobian is an MCP server that gives AI agents a searchable vocabulary of typed
An executable mathematical vocabulary for agents: discover one typed operation, run it, and compose its result.
页面基于项目公开文档、仓库元数据和 DSH Plugins 的结构化解析生成；最后核验于 2026-08-29。发现错误？提交更正。
最佳 DeepSeek Harness 插件
从全目录挑出的 12 个值得优先安装的插件，覆盖各个分类。