Repository · GitHub

morluto/jacobian

Composable mathematics tools for agents

Owner	morluto
License (as declared)	MIT
Stars	321
Forks	34
Main language	Python
Created	23 July 2026
Last updated at source	19 October 2026

pythonai-agentsautomated-theorem-provingcomputer-algebracordisdshdsh-pluginerdoserdos-problemformal-methodsformal-verificationlean4mathmcpmcp-servermodel-context-protocolproof-assistantsymbolic-mathsympytheorem-proving

Embed this entry

<iframe src="https://silytics.si/embed/item/76714d89-9414-4497-aaed-51465c09c724" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Stars, last 9 days

321 now (+35 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from morluto

reaRepository
awesome-reverse-engineeringRepository
flameoxRepository
leantokenRepository
generate-social-previewRepository

Silytics shows public metadata from GitHub and links to the original. Information may be incomplete or out of date. Last refreshed 24 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.