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 工作流程
rea
作者 morluto
用智慧體逆向工程一切，從應用行為一直到原生二進位制。
ruflo
作者 ruvnet
原版智慧體元框架（meta-harness）：支援多智慧體叢集部署、自主工作流編排與對話式 AI 系統構建，內建自適應記憶、自學習智慧與 RAG 檢索，原生整合 Claude Code / Codex / Hermes 等大量工具。
reactive-resume
作者 reactive-resume
開源簡歷製作外掛，強調隱私保護，支援自定義、可移植和自託管。
everos
作者 evermind-ai
為所有 AI 智慧體提供的便攜統一記憶層，本地優先、Markdown 原生、資料歸使用者所有，跨應用與工作流自進化。
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 個值得優先安裝的外掛，涵蓋各個分類。