morluto / jacobian
Composable mathematics tools for agents
Why this job: topics: mcp-server, model-context-protocol, mcp
What it does
Jacobian is an MCP server that gives AI agents a searchable vocabulary of typed mathematical operations. math.find matches a mathematical need or inspects one exact contract, and math.run executes it and returns its typed result. The same mathematical library is also available through a CLI and native Python API.
Get started
npx jacobian@latest setup- Maintenance
- Active
- Last commit 4 days ago
- Stars
- 362
- +10 this week
- Licence
- MIT
- Allows business use
- Downloads for
- None listed
- No release files
- Latest tag
- jacobian-v0.23.0
- Released 38 days ago
- Built with
- Python
- 99% of the code
Is it looked after?
- Contributors
- 6
- Last 90 days
- Issues
- 96% closed
- 85 still open
- Pull requests
- 2,164 merged
- 13 waiting
- Releases
- 25
- 25 in the last year
- Contributing guide (opens in new tab)
- No security policy
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| oOo0oOo / lean-lsp-mcp | 549 | 7 days ago | MIT | No downloads |
More: languages, topics, project record and preview image
Languages
- Python 99%
- Dockerfile <1%
- JavaScript <1%
- Makefile <1%
Topics
- ai-agents
- computer-algebra
- formal-methods
- mcp
- mcp-server
- theorem-proving
- lean4
- sympy
- automated-theorem-proving
- formal-verification
- proof-assistant
- math
Project record
- JobMCP servers
- StatusListed
- Commits4,801
- Forks49
- Watching3
- Stars in 28 days+96
- CreatedJul 23, 2026
- First seen by usNov 7, 2026
- CheckedNov 10, 2026