Jacobian
Jacobian is an MCP server published by morluto; its MCP spec-revision support has not been verified yet. Last verified 2026-08-07.
Does Jacobian support the current MCP specification (2026-07-28)?
Undetermined. We have not verified which MCP specification revision Jacobian supports (as of 2026-08-07).
Is Jacobian a first-party (official) MCP server?
Undetermined. We have not verified the publisher relationship for Jacobian (as of 2026-08-07).
How do I connect to Jacobian?
Jacobian is available via the package npm:jacobian, the official MCP Registry under io.github.morluto/jacobian, the source repository at https://github.com/morluto/jacobian. Authentication: unknown. Transports: stdio.
When were Jacobian's facts last verified?
2026-08-07. Each fact on this page links to the sources used to verify it.
Executable mathematics and independent verification for AI agents.
How widely adopted is Jacobian?
Ranked #224 in The MCP 500 with Adoption Index 50.37 (snapshot , methodology v1).
| Measurement | Value | Source |
|---|---|---|
| Official MCP Registry | yes | API · |
| Docker MCP Catalog | no | API · |
| npm downloads (weekly) | 378 | API · |
| GitHub stars | 194 | API · |
| GitHub forks | 14 | API · |
| Last push | 2026-09-15T14:40:21Z | API · |
| Repository archived | no | API · |
Repository and package signals for Jacobian
Measured directly from the source registries, not asserted from a document. Each figure carries the date it was read; none of it affects the verified spec status above.
Repository as of
- Created
- Open issues
- 198
- Primary language
- Python
- License (repository)
- MIT
- Continuous integration
- Present
- Tests
- Present
- Security policy
- None
Declared topics: ai-agents, automated-theorem-proving, computer-algebra, cordis, dsh, dsh-plugin, formal-methods, formal-verification, lean4, math, mcp, mcp-server, model-context-protocol, proof-assistant, python, smt-solver, symbolic-math, sympy, theorem-proving, z3 — author-declared on the repository, not our taxonomy.
Package (npm) as of
- Latest version
0.13.0- Last published
- First published
- Releases
- 11
- License (package)
- MIT
- Maintainers
- 1
- Direct dependencies
- 3
- Unpacked size
- 25 KB
- Registry signature
- Signed
- Build provenance
- Attested
How was this verified, and what are the sources?
Verified · method: registry-record
· confidence 0.85 (Good).