DSH插件商店 DSH-plugin store

DSH-PLUGIN STORE / LIVE CATALOG

DSH插件商店

聚合 GitHub 上的 DSH 插件，打造 DeepSeek Harness 生态的一站式目录。

已收录
4403
功能分类
11
更新时间
08/18 02:30
全部 4403 界面增强 235 Agent 与会话 271 开发工具 341 消息通讯 128 文件与数据 256 模型与 MCP 163 安全与治理 93 部署运维 135 生活娱乐 124 学习研究 46 其他 2611

2 个项目，匹配「theorem-proving」

模型与 MCP 插件

jacobian

morluto

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

ai-agents automated-theorem-proving computer-algebra cordis
50 9 242
今天
Agent 与会话 插件

Vibe-Mathematics

ChongCyrus

Vibe Mathematics —— 多代理数学问题求解与形式化验证框架

agent-preset ai-agents deepseek-harness dsh-plugin
2 0 0
1 天前