DSH插件商店 DSH-plugin store

DSH-PLUGIN STORE / LIVE CATALOG

DSH插件商店

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

已收录
6322
功能分类
11
更新时间
09/21 01:58
全部 6322 界面增强 391 Agent 与会话 488 开发工具 517 消息通讯 195 文件与数据 373 模型与 MCP 285 安全与治理 122 部署运维 194 生活娱乐 194 学习研究 72 其他 3491

1 个项目，匹配「lean4」

模型与 MCP 插件

jacobian

morluto

Composable mathematics tools for agents

ai-agents automated-theorem-proving computer-algebra cordis
192 14 126
1 天前