jacobian

Jacobianは、AIエージェントに検索可能な型付き数学演算の語彙を提供するMCPサーバーです。math.findで演算を発見し、math.runで厳密に境界が定められた1つの数学的契約を実行して、型付きの結果を返します。同じ数学ライブラリは、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ベースの演算ポートフォリオが公開されます。テスト済みのバイナリインストール契約は、glibc Linux x86-64上のCPython 3.12または3.13です。リリースゲートは、両方のPythonバージョンでホイールをインストールし、Jacobianを起動します。他のシステムには互換性のあるアップストリームホイールが存在する場合もありますが、まだテスト済みのリリース契約の一部ではありません。特に、Alpine/muslはPyPIから完全な必須スタックをインストールできません。

Pythonディストリビューションには、数学カーネル、CLI、MCPサーバーが含まれています。npmパッケージは、その正確なパッケージバージョンを対応するuvx呼び出しに決定論的にマッピングします。

Related MCP server: math-logic-mcp

利用可能な数学

組み込みのポートフォリオは、以下の分野をカバーしています：

• 多項式写像と多項式代数；

• 正確な線形代数；

• グラフ、経路、彩色、および同型；

• 有界SATおよびSMT求解；

• 有限代数、確率、幾何、および位相；そして

• Leanソースの精緻化。

SATおよびSMT演算は、メンテナンス済みのZ3 Pythonバインディングを直接使用します。オプションのlean.check演算は、固定されたLeanサービス環境で1つのソーススニペットを実行し、リクエストスコープの一時ディレクトリを使用して、型付き診断を返します。math.findを使用して演算を検索し、馴染みのないドメインを閲覧し、math.runを1回呼び出す前に1つの演算を検査します。

メンテナンス済みの演算ポートフォリオとバックエンド要件については、ドメイン演算ライブラリおよびバックエンド要件を参照してください。

ステータス

Jacobian 0.12.0はプレリリース段階です。公開されたパッケージと演算契約がサポート対象のインターフェースを定義しますが、実験的な演算契約はリリース間で変更される可能性があります。

ドキュメント

• ドキュメントホーム：チュートリアル、ハウツーガイド、リファレンス、および解説

• アーキテクチャ：ランタイム構造と信頼境界

• プロダクトモデル：演算契約、所有権、およびプロジェクト境界

• ツールリファレンス：MCPリソースと呼び出し契約

• バックエンド要件：メンテナンス済みPythonバックエンドとオプションのLean

• リモートデプロイ：HTTPデプロイと認証

コントリビューション

JacobianはPython 3.12、uv、および小さなMakefileを使用しています：

make setup
make test-math
make check

コードを変更する前にCONTRIBUTING.mdをお読みください。焦点を絞ったテストコマンド、検証ルール、ドキュメント配置、およびプルリクエストの期待事項が記載されています。

ライセンス

MIT