jacobian

给 AI 智能体装上可组合的数学计算与定理证明工具

开源 free 智能体

访问官网 ↗ GitHub ↗ 文档 ↗

GitHub 星标 ★ 291

维护状态活跃

是否开源是

定价模式 free

项目预览

项目数据

分类智能体

开发团队morluto

所属国家

官网地址

GitHubhttps://github.com/morluto/jacobian

定价模式free

价格说明开源项目，免费使用

访问状态

是否开源是

开源协议MIT

主要语言Python

技术栈/模型ai-agents,automated-theorem-proving,computer-algebra,cordis,dsh,dsh-plugin,erdos,erdos-problem,formal-methods,formal-verification,lean4,math,mcp,mcp-server,model-context-protocol,proof-assistant,python,symbolic-math,sympy,theorem-proving

GitHub 星标★ 291

30天Star增速

HF 下载量

上线时间2026-07-23 00:00:00

代码更新—

仓库体积—

本站数据更新—

维护状态活跃

中文支持

访问方式

移动端支持

综合评分

收录时间2026-10-18

浏览次数0

项目介绍

jacobian 是一个面向 AI 智能体的可组合数学工具集，用 Python 实现。它把计算机代数、自动定理证明、形式化方法与数学问题求解能力封装成智能体可直接调用的工具模块，解决大模型在数学推理中缺乏可靠计算与验证手段的问题——模型擅长生成思路，却常在符号运算、等式变形和严格证明上出错。项目提供可组合的工具接口，让智能体按需拼装符号计算、定理证明和形式验证能力，并针对 Erdős 问题等数学研究场景提供支持，同时包含 DSH 插件机制以便集成到智能体工作流。核心能力包括：数学工具的可组合调用、与定理证明器衔接、形式化验证辅助，以及面向研究级数学问题的求解流程。适合作为智能体数学能力的底层基础设施。