TrendingRisingGemsRadarToolboxCategories

Repository

morluto/jacobian

Composable mathematics tools for agents

Open source AI & agents PythonMIT

Stars

296

Today

+5

last 24 hours

This week

+5

Forks

29

Clone

git clone https://github.com/morluto/jacobian.git

Star growth

2026-10-18: +5 (today so far)2026-10-18todaymax +5/day
Stars gained per day. Tracking since 2026-10-18; the lighter bar is today so far.
#ai-agents#computer-algebra#formal-methods#mcp#mcp-server#theorem-proving#lean4#sympy#automated-theorem-proving#formal-verification
Created
2026-07-23
Last commit
2026-10-13
Gained since tracking
+5

Similar in AI & agents

Updated Sun, 18 Oct 2026 15:32:30 GMT · description from the project itself