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

1 个项目，匹配「verification」

学习研究 插件

math-lean

Fisfzy

dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)

dsh-plugin dshx lean math
1 0 0
5 天前