DSH插件商店 DSH-plugin store

DSH-PLUGIN STORE / LIVE CATALOG

DSH插件商店

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

已收录
6553
功能分类
11
更新时间
10/07 02:01
全部 6553 界面增强 408 Agent 与会话 549 开发工具 593 消息通讯 191 文件与数据 394 模型与 MCP 314 安全与治理 134 部署运维 206 生活娱乐 207 学习研究 80 其他 3477

2 个项目，匹配「formal-verification」

模型与 MCP 插件

jacobian

morluto

Composable mathematics tools for agents

ai-agents automated-theorem-proving computer-algebra cordis
203 15 102
4 天前
模型与 MCP 插件

math-rigor

bauerelizabeth07139

Auditable mathematical proving for DeepSeek Harness: a local stdio MCP server (23 tools), a bundled workflow skill, and the /prove and /audit-proof commands. proven / refuted / inconclusive are never conflated, and unproven steps are reported, not hidden.

ai-agent deepseek-harness dsh dsh-plugin
0 0 0
3 天前