Jacobian – I built tools to help anyone explore and solve conjectures is a skill AI agent for To verify the validity of mathematical conjectures and generate plausible proof pathways without requiring a complete proof upfront. Pricing: Free + $20/mo for advanced features. As of 2026-10-25, KanonAgent records 2 upvotes. First indexed by KanonAgent on 2026-07-31.
Jacobian is a tool that helps mathematicians, students, and enthusiasts test and explore potential proofs for unverified mathematical conjectures.
2 upvotes
Tracked by Kanon since Jul 31, 2026
Status basis: 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
📈 Timelinewhat changed, and when
- Anomaly 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
- Cooling npm_downloads_7d momentum fell to 4 per 3d from 46 (<= 40% of the prior window)
- Anomaly 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
- Cooling npm_downloads_7d momentum fell to -8 per 3d from 238 (<= 40% of the prior window)
- Cooling npm_downloads_7d momentum fell to 0 per 3d from 239 (<= 40% of the prior window)
- Cooling npm_downloads_7d momentum fell to 46 per 3d from 184 (<= 40% of the prior window)
- Cooling npm_downloads_7d momentum fell to 46 per 3d from 184 (<= 40% of the prior window)
- Anomaly 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
- Anomaly 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
- Anomaly 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
- Anomaly 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
- Anomaly 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
- Anomaly 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
- Anomaly 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
- Anomaly 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
- Anomaly 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
- Anomaly 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
- Anomaly 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
- first observed Kanon started keeping permanent history for this agent
🔎 Known / Unknown
11 of 23 fields unknown
| Machine-callable | — | unknown | — |
| Open source | 1 | inferred | 1 quote(s) |
| Self-hostable | 1 | inferred | 1 quote(s) |
| Bring your own key | — | unknown | — |
| Autonomy level | 2 | inferred | 1 quote(s) |
| Pricing model | — | unknown | — |
| Integrations | mcp | inferred | 1 quote(s) |
“Unknown” means we have not verified it — it is not a “no”. Hard filters never treat unknown as false.
🤖 Agent teardown · skill
Job to be doneTo verify the validity of mathematical conjectures and generate plausible proof pathways without requiring a complete proof upfront.
AutonomyL2 · tool-calling(evidence: "small, composable mathematical operations…")
Who it is forMathematicians, math students, and math enthusiasts engaged in research or advanced study.
Prerequisitesopen source · self-hostable
Integrationsmcp
PricingFree + $20/mo for advanced features
Traction · why it is risingGaining traction among academic users and math communities for its ability to assist in proof exploration and collaborative problem solving.
Why it matters
It demonstrates a promising application of AI in formal mathematical reasoning, offering a new model for human-AI collaboration in rigorous academic work.
Evidence quotesverbatim, from the product’s own materials
“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
Signal source: Show HN
Visit official site →
📛 Official badgefor your site / README
Building Jacobian? Pick a style above — the embed code updates live. Deep color control via URL params: bg= / fg= / accent= (hex). It links back to this page.
On mobile tap Share for WeChat / RED (Xiaohongshu) / X; on desktop use Copy text and paste into the app.
FAQ
What is Jacobian?
Jacobian is a tool that helps mathematicians, students, and enthusiasts test and explore potential proofs for unverified mathematical conjectures.
What does Jacobian do?
To verify the validity of mathematical conjectures and generate plausible proof pathways without requiring a complete proof upfront.
Why does Jacobian matter?
It demonstrates a promising application of AI in formal mathematical reasoning, offering a new model for human-AI collaboration in rigorous academic work.
How much does Jacobian cost?
Free + $20/mo for advanced features
Is Jacobian free?
Yes — Jacobian has a free tier. Pricing as stated on its own page: Free + $20/mo for advanced features
Is Jacobian open source?
Yes — Jacobian is open source.
Can I self-host Jacobian?
Yes — Jacobian can be self-hosted.
What does Jacobian integrate with?
mcp
How popular is Jacobian?
As tracked by KanonAgent: 2 upvotes (first indexed 2026-07-31).
What are the best Jacobian alternatives?
Similar AI agents tracked by KanonAgent: Stealth Venture, taste-skill, archify, open-design, deer-flow, ruflo.