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

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

模型与 MCP 插件

jacobian

morluto

Composable mathematics tools for agents

ai-agents automated-theorem-proving computer-algebra cordis
203 15 102
3 天前
开发工具 技能

logicprobe

AmethystLuna

AI 编程助手声明核查插件：状态机、协议、数据模型与并发声称的可执行逻辑原语验证（代价、概率、期限、组合、UML 审查、前后回归、导出），含 dsh 原生工具与 Agent Skills。 | Claim verification for AI coding agents — executable logic-primitive checks for state machines, data models and concurrency: cost, probability, deadlines, composition, UML review, before/after regression, export. Native dsh tools + Agent Skills.

agent-plugin agent-skills ai-agents claude-code
4 0 0
2 天前
模型与 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 天前