jacobian
面向 Agent 的可执行数学词汇库，提供带类型的数学运算发现、执行与组合能力，后端包含 SymPy、NetworkX、Z3 等栈，通过 npx 或 pip 安装并以 MCP 服务形式接入各类 Agent。
查看原仓库英文描述
Composable mathematics tools for agents
ai-agentsautomated-theorem-provingcomputer-algebracordisdshdsh-pluginerdoserdos-problemformal-methodsformal-verificationlean4mathmcpmcp-servermodel-context-protocolproof-assistantpythonsymbolic-mathsympytheorem-proving
基础信息核对
资料已更新
中文简介
待更新
安装命令
待更新
分类
待更新
项目活跃度
数据覆盖 84% · 抽样数据 · 数据截至 2026-09-25
83/100
最近代码活动
35/35
100 次提交 · 最近推送 今天
Issue 响应
10 分 · 覆盖 12/20
58/75 已关闭 · 响应数据未覆盖 · 抽样
PR 协作
6 分 · 覆盖 12/20
8/75 已关闭 · 响应数据未覆盖 · 抽样
贡献持续性
5/10
2 位近 90 天活跃贡献者
版本交付
5/5
最近发布 8 天前
社区关注度
9/10
194 Stars · 14 Forks
安装
该项目不以标准 DSH 插件形式分发（独立数学工具包，通过 npx/uvx/pip 分发，README 无任何 dsh plugin 安装命令，非 DSH 分发，判 external。）。安装与使用方式请查看原仓库。
