目录 / 能力提供者

jacobian

Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.

作者

morluto

Stars

43

许可证

MIT

来源

https://github.com/morluto/jacobian

更新

2026/8/14

说明