AlphaUncommon
morluto/jacobian
Composable mathematics tools for agents
- Owner
- morluto (personal account)
- Stars
- Stars: 352
- Forks
- Forks: 45
- Language
- Python
- License
- MIT
- Created
- 2026
- Topics
- ai-agentscomputer-algebraformal-methodsmcpmcp-servertheorem-provinglean4sympyautomated-theorem-provingformal-verification
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by morluto
All 6 repos by morluto- morluto/reaStars: 424,100TypeScriptLTS
- morluto/awesome-reverse-engineeringStars: 1,631PythonBeta
- morluto/flameoxStars: 232PythonPrototype
- morluto/morlutoStars: 166Prototype
- morluto/leantokenStars: 142RustPrototype
Nearby in Python
All Python repos- Ootto-AI/claude-content-skillsStars: 352PythonAlpha
- mars-tw/open-seo-advisor-skillStars: 352PythonAlpha
- NCSC-NL/php2shellStars: 352PythonAlpha
- wimleers/fileconveyorStars: 352PythonAlpha
- pirobot/rbx1Stars: 352PythonAlpha
- aestrivex/bctpyStars: 352PythonAlpha