Jacobian – I built tools to help anyone explore and solve conjectures 是一个「skill」类 AI agent,解决:在没有完整证明的情况下，辅助验证数学猜想的正确性并生成可能的证明路径。定价:产品页未标明。截至 2026-10-25,KanonAgent 记录到 2 票。本站首次收录于 2026-07-31。
一个帮助任何人探索和证明数学猜想的工具，面向数学研究者、学生和爱好者，解决数学证明过程复杂、难以协作的痛点
2 票
Kanon 于 2026 年 7 月 31 日 收录
状态依据:daily change -158.0 is -3.3 standard deviations from this entity's own prior mean (-7.9±45.6, baseline excludes this point) — unusual, not necessarily adoption
📈 时间线什么时候变了什么
- 异常 daily change -158.0 is -3.3 standard deviations from this entity's own prior mean (-7.9±45.6, baseline excludes this point) — unusual, not necessarily adoption
- 降温 npm_downloads_7d momentum fell to 4 per 3d from 46 (<= 40% of the prior window)
- 异常 daily change -158.0 is -3.3 standard deviations from this entity's own prior mean (-7.9±45.6, baseline excludes this point) — unusual, not necessarily adoption
- 降温 npm_downloads_7d momentum fell to -8 per 3d from 238 (<= 40% of the prior window)
- 降温 npm_downloads_7d momentum fell to 0 per 3d from 239 (<= 40% of the prior window)
- 降温 npm_downloads_7d momentum fell to 46 per 3d from 184 (<= 40% of the prior window)
- 降温 npm_downloads_7d momentum fell to 46 per 3d from 184 (<= 40% of the prior window)
- 异常 daily change -174.0 is -4.2 standard deviations from this entity's own prior mean (-15.9±37.5, baseline excludes this point) — unusual, not necessarily adoption
- 异常 daily change -174.0 is -4.2 standard deviations from this entity's own prior mean (-15.9±37.5, baseline excludes this point) — unusual, not necessarily adoption
- 异常 daily change -174.0 is -4.2 standard deviations from this entity's own prior mean (-15.9±37.5, baseline excludes this point) — unusual, not necessarily adoption
- 异常 daily change -174.0 is -4.2 standard deviations from this entity's own prior mean (-15.9±37.5, baseline excludes this point) — unusual, not necessarily adoption
- 异常 daily change -153.0 is -5.5 standard deviations from this entity's own prior mean (-12.0±25.7, baseline excludes this point) — unusual, not necessarily adoption
- 异常 daily change -153.0 is -5.5 standard deviations from this entity's own prior mean (-12.0±25.7, baseline excludes this point) — unusual, not necessarily adoption
- 异常 daily change -153.0 is -5.5 standard deviations from this entity's own prior mean (-12.0±25.7, baseline excludes this point) — unusual, not necessarily adoption
- 异常 daily change -153.0 is -5.5 standard deviations from this entity's own prior mean (-12.0±25.7, baseline excludes this point) — unusual, not necessarily adoption
- 异常 daily change -153.0 is -5.5 standard deviations from this entity's own prior mean (-12.0±25.7, baseline excludes this point) — unusual, not necessarily adoption
- 异常 daily change -153.0 is -5.5 standard deviations from this entity's own prior mean (-12.0±25.7, baseline excludes this point) — unusual, not necessarily adoption
- 异常 daily change -153.0 is -5.5 standard deviations from this entity's own prior mean (-12.0±25.7, baseline excludes this point) — unusual, not necessarily adoption
- 首次观测 Kanon 开始为它保留永久历史
🔎 已知 / 未知
23 个字段里 11 个未知
| 可机器调用 | — | 未知 | — |
| 开源 | 1 | 推断 | 1 条引文 |
| 可自托管 | 1 | 推断 | 1 条引文 |
| 需自带 key | — | 未知 | — |
| 自主度 | 2 | 推断 | 1 条引文 |
| 计费模式 | — | 未知 | — |
| 集成面 | mcp | 推断 | 1 条引文 |
「未知」= 我们没核实过,**不等于「否」**。硬性筛选永远不会把未知当成否。
🤖 Agent 拆解 · skill
解决什么场景在没有完整证明的情况下，辅助验证数学猜想的正确性并生成可能的证明路径
自主度L2 · 有工具调用(引文: "small, composable mathematical operations…")
前置条件开源 · 可自托管
集成面mcp
为什么值得关注
将AI用于数学猜想验证，具备学术研究场景的突破潜力，可借鉴其人机协作验证范式
证据引文判定所依据的原文 · 逐字引用
“public GitHub repository (README fetched)”— structural
“Run `jacobian mcp` to start the server directly.”— readme
“small, composable mathematical operations”— readme
“An MCP server, CLI, and Python library for conjectures”— readme
信号来源: Show HN
访问官网 →
📛 官方徽章挂到官网 / README
你是 Jacobian 的作者?上面选样式,嵌入代码实时更新;要贴合站点配色可在 URL 上加 bg= / fg= / accent=(十六进制色)。徽章链回本页。
手机端点「分享」直达微信/朋友圈/小红书;桌面端用「复制文案」后到 App 内粘贴发布
常见问题
Jacobian 是什么?
一个帮助任何人探索和证明数学猜想的工具，面向数学研究者、学生和爱好者，解决数学证明过程复杂、难以协作的痛点
Jacobian 解决什么问题?
在没有完整证明的情况下，辅助验证数学猜想的正确性并生成可能的证明路径
Jacobian 为什么值得关注?
将AI用于数学猜想验证，具备学术研究场景的突破潜力，可借鉴其人机协作验证范式
Jacobian 是开源的吗?
是。Jacobian 为开源项目。
Jacobian 能自托管吗?
可以。Jacobian 支持自托管部署。
Jacobian 能接哪些工具?
mcp
Jacobian 有多少人在用?
KanonAgent 记录到:2 票(本站首次收录于 2026-07-31)。
Jacobian 有什么替代品?
KanonAgent 库内的同类 agent:Stealth Venture、taste-skill、archify、open-design、deer-flow、ruflo。