MIT ライセンスの MCP サーバー（CLI と Python API も併載）。エージェントに型付きで検索可能な有界な数学操作の語彙を提供し、結果は正確、近似と不確実性は明示されます。
DSH 統合
互換
作者による申告
安全性監査
未監査
最終検証日
2026-08-29
ライセンス
MIT
01どんなタスクに使えるのか？
AI エージェントに、発見して実行できる型付きの数学操作を検索可能な語彙として提供する
発見された操作のシグネチャ（`math.find`）、または 1 つの有界契約の型付き結果（`math.run`）
大域的なドメインソルバーではなく、正確で組み合わせ可能な数学プリミティブを必要とするエージェントや開発者
証明戦略やソルバーに頼らず、正確で明示的な数学結果をエージェントのワークフローに組み込む
主張どおりの場所では正確な結果。近似・不完全・不確実性は明示される
有界で再利用可能な数学的事後条件を求める推論・定理証明エージェントやツール開発者
02DeepSeek Harness への導入方法
作者は未記載
03DSH 統合と能力の範囲
型付きの数学操作を MCP サーバーとして公開し、DeepSeek Harness を含むエージェントが MCP で接続します。同じライブラリは CLI とネイティブ Python API としても提供されます。
math.find — 操作を発見
数学操作に対する自然言語または型付きのクエリ→マッチした型付き操作のシグネチャ
math.run — 1 つの有界契約を実行
発見済みの操作とその型付き引数→ちょうど 1 つの有界な数学契約の型付き結果
CLI とネイティブ Python API
同じ数学ライブラリをシェルまたは Python から呼び出す→MCP サーバー経由以外でも同じ型付き結果を得られる
04誰に向いているのか？使うべきでない場面は？
向いている用途
- 大域的なドメインソルバーではなく、正確で組み合わせ可能な数学プリミティブを必要とするエージェントや開発者
- 有界で再利用可能な数学的事後条件を求める推論・定理証明エージェントやツール開発者
05互換性・メンテナンス・セキュリティ上の注意
- 各呼び出しは 1 つの有界で再利用可能な数学的事後条件に限定され、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` はちょうど 1 つの有界な数学契約を実行して型付き結果を返します。1 回の呼び出しが 1 つの事後条件に対応します。
結果は正確ですか？
主張どおりの場所では正確です。計算が近似・不完全・不確実な場合、Jacobian はその近似・不完全・不確実性を隠さず明示します。
証明アシスタントや SMT ソルバーの代わりになりますか？
いいえ。各操作はワークフローや証明戦略を規定するのではなく、1 つの安定した再利用可能な数学的事後条件を確立します。大域的なドメインソルバーを公開するものでもない、組み合わせ可能な有界操作の語彙です。
対応している言語や実行環境は？
数学ライブラリは 3 通りで利用できます。エージェント向けの MCP サーバー、CLI、ネイティブ Python API です。そのため DeepSeek Harness 内からでも任意の Python ツールチェーンからでも呼び出せます。
07関連する DSH ワークフロー
rea
by morluto
アプリの挙動からネイティブバイナリまで、エージェントであらゆるものをリバースエンジニアリング
ruflo
by ruvnet
元祖エージェントメタハーネス。知能マルチプレイヤー・スウォームの展開、自律ワークフロー連携、対話型AIシステムの構築に対応。適応メモリ、自己学習、RAG統合、Claude Code／Codex／Hermesネイティブ連携を備える。
reactive-resume
by reactive-resume
プライバシーを重視した、カスタマイズ可能で持ち運びやすいオープンソースの履歴書作成プラグイン。無料で利用できる。
everos
by 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。誤りを見つけた場合は、修正を送信してください。
dsh プラグイン おすすめ
最初に入れたい 12 のプラグイン。全カタログ・全カテゴリから厳選しました。