DSH开源插件商店 DSH Store
/
标签主题词 (Topic)

# automated-theorem-proving

探索包含 automated-theorem-proving 主题特性的所有开源仓库、扩展插件与智能体组件。

浏览全部项目
全部项目 Agent 与会话 1083 其他 5565 学习研究 98 安全与治理 400 界面增强 1053 开发工具 2862 模型与 MCP 332 部署运维 235 文件与数据 1964 消息通讯 342 生活娱乐 245
排序
最新 最热 Stars
jacobian

jacobian

morluto

一个通用且原子化的数学与工具库，将常用运算拆解为独立模块，智能体可像搭积木一样自由组合调用，轻松构建复杂计算流程，无需重复造轮子。

Python 55 9
详情