DSH-PLUGIN STORE / LIVE CATALOG

DSH插件商店

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

已收录: 6322
功能分类: 11
更新时间: 09/21 01:58

2 个项目，匹配「lean4」

模型与 MCP 插件

jacobian

morluto

Composable mathematics tools for agents

ai-agents automated-theorem-proving computer-algebra cordis

安全与治理插件

dsh-policy-strict-gate

catsenior507

Enforce strict checks as dsh harness policy: repeated-failure intervention, a glob-protected critical-path gate that blocks with diagnostics, and an automatic post-write check.

cordis cordis-plugin deadlock-free deepseek