morluto/jacobian

它解决的问题

AI 代理经常在复杂的数学推理中遇到困难，因为它们缺乏可靠、精确的工具。Jacobian 提供了一个可搜索、可执行的数学运算库，使代理能够执行精确计算，而不是依赖概率猜测或预先构建的刚性工作流。

工作原理

Jacobian 充当 MCP（模型上下文协议）服务器。它公开了一组“类型化”的数学运算，代理可以使用 math.find 发现这些运算，并使用 math.run 执行它们。每个运算都被设计为语义上狭窄且自包含的，返回精确结果。代理负责选择调用哪些运算、如何组合结果以及何时停止，从而赋予它们解决超出任何单个预定义工具的问题的灵活性。

适用对象

本项目面向构建 AI 代理的开发人员，这些代理需要在其代理工作流中执行可信、精确的数学运算，例如线性代数、图论或 SAT/SMT 求解。

亮点

• 提供可搜索、类型化的数学原语词汇表。
• 支持复杂领域，包括多项式代数、图论和有界 SAT/SMT 求解。
• 作为 MCP 服务器运行，便于与现有 AI 代理框架集成。
• 提供一致的 Python API 和 CLI，用于本地终端工作流。
• 专注于语义原子性，确保每个工具执行一个稳定、可复用的数学操作。