# morluto/jacobian

<https://repo.masters-masters.com/en/repos/morluto/jacobian>

[Home](https://repo.masters-masters.com/en) › [morluto](https://repo.masters-masters.com/en/owners/morluto) › [jacobian](https://repo.masters-masters.com/en/repos/morluto/jacobian)

morluto/jacobian has 352 stars on GitHub. Its RepoMasters card: Alpha tier. Composable mathematics tools for agents Language: Python.

| Field | Value |
| --- | --- |
| Owner | [morluto](https://repo.masters-masters.com/en/owners/morluto) |
| Stars | 352 |
| Forks | 45 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2026 |
| Topics | ai-agents, computer-algebra, formal-methods, mcp, mcp-server, theorem-proving, lean4, sympy, automated-theorem-proving, formal-verification |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [morluto/jacobian](https://github.com/morluto/jacobian) |

## Repository

Composable mathematics tools for agents

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by morluto

- [morluto/rea · ★ 428,213 · TypeScript · LTS](https://repo.masters-masters.com/en/repos/morluto/rea)
- [morluto/awesome-reverse-engineering · ★ 1,804 · Python · Beta](https://repo.masters-masters.com/en/repos/morluto/awesome-reverse-engineering)
- [morluto/flameox · ★ 232 · Python · Prototype](https://repo.masters-masters.com/en/repos/morluto/flameox)
- [morluto/morluto · ★ 168 · Prototype](https://repo.masters-masters.com/en/repos/morluto/morluto)
- [morluto/leantoken · ★ 144 · Rust · Prototype](https://repo.masters-masters.com/en/repos/morluto/leantoken)

## Nearby in Python

- [intel/intel-performance-skills · ★ 352 · Python · Alpha](https://repo.masters-masters.com/en/repos/intel/intel-performance-skills)
- [mars-tw/open-seo-advisor-skill · ★ 352 · Python · Alpha](https://repo.masters-masters.com/en/repos/mars-tw/open-seo-advisor-skill)
- [zht475706171/TaiSang · ★ 352 · Python · Alpha](https://repo.masters-masters.com/en/repos/zht475706171/TaiSang)
- [wimleers/fileconveyor · ★ 352 · Python · Alpha](https://repo.masters-masters.com/en/repos/wimleers/fileconveyor)
- [pirobot/rbx1 · ★ 352 · Python · Alpha](https://repo.masters-masters.com/en/repos/pirobot/rbx1)
- [aestrivex/bctpy · ★ 352 · Python · Alpha](https://repo.masters-masters.com/en/repos/aestrivex/bctpy)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.