Jacobian
morluto/jacobian · skills
Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.
★ 186GitHub stars
9Forks
2026-08-15Last updated
PythonLanguage
MITLicense
Key features
- polynomial maps and polynomial algebra
- Documentation home — tutorials, how-to guides, reference, and explanations
- graphs, paths, colorings, and isomorphism
- bounded SAT and SMT solving
- finite algebra, probability, geometry, and topology
Install command
dsh plugin --profile web add github:morluto/jacobian