morluto/jacobian

解決する問題

AI エージェントは、信頼性が高く正確なツールを欠いているため、複雑な数学的推論に苦労することがよくあります。Jacobian は、確率的な推測や事前に構築された固定ワークフローに依存するのではなく、エージェントが正確な計算を実行できるようにする、検索可能で実行可能な数学演算のライブラリを提供します。

仕組み

Jacobian は MCP（モデルコンテキストプロトコル）サーバーとして機能します。エージェントが math.find を使用して発見し、math.run を使用して実行できる「型付き」数学演算のセットを公開します。各演算は意味的に狭く自己完結型になるように設計されており、正確な結果を返します。エージェントは、どの演算を呼び出すか、結果をどのように組み合わせるか、いつ停止するかを選択する責任があり、事前に定義された単一のツールを超えた問題を解決する柔軟性を提供します。

対象読者

このプロジェクトは、エージェントワークフロー内で線形代数、グラフ理論、SAT/SMT 解決などの信頼性が高く正確な数学演算を実行する必要がある AI エージェントを構築する開発者向けです。

ハイライト

• 検索可能で型付きの数学プリミティブの語彙を提供します。
• 多項式代数、グラフ理論、有界 SAT/SMT 解決などの複雑な領域をサポートします。
• MCP サーバーとして動作し、既存の AI エージェントフレームワークと簡単に統合できます。
• ローカルターミナルワークフロー用の一貫した Python API と CLI を提供します。
• 意味的原子性に焦点を当て、各ツールが安定した再利用可能な数学的動きを実行することを保証します。