morluto/jacobian

• 类型：github
• 标识：morluto/jacobian
• 链接：https://github.com/morluto/jacobian
• 主题：agent
• 主分类：agent
• 形态：tutorial
• 分类：ai
• Stars：37
• 周增：+0
• 语言：Python
• 许可：MIT
• 最近提交：2026-08-13
• 简介：Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.
• 上次采集：2026-08-14
• 首次采集：2026-08-14
• 待LLM分类：否
• 成熟度：experimental
• 简介中文：面向 agent 的纯数学工具：搜索实例与反例，进行精确计算，并独立验证结论所证内容。
• 来源文件：
• [GitHub Search]