morluto / jacobian
git clone https://github.com/morluto/jacobian.git
Composable mathematics tools for agents
+~3
stars, 24h · #7,828
+~21
stars, 7 days · #7,597
+~90
stars, 30 days · #7,526
319
★ total · +7% this week
34
forks · 96 open issues
Star history (as recorded here)
LanguagePython
LicenseMIT
Created2026-07-23 (3mo ago)
Last push4d ago
OwnerUser
GitHub topics
ai-agentscomputer-algebraformal-methodsmcpmcp-servertheorem-provinglean4sympyautomated-theorem-provingformal-verificationproof-assistantmathmodel-context-protocolpythonsymbolic-mathdsh-plugincordisdsherdoserdos-problem