插件

原生 DSH 插件套件：由验证器把关的数学证明搜索编排——事实图谱、角色权限工具、冷启动验证器与 worker 集群。

DeepSeek Harness 的 Readproof 插件：以模型可调用工具提供稳定 readproof:// 标识、快照、运行清单、diff 与重放。