全部插件

1 个插件 第 1 / 1 页

结果

  • jinguanghai/deepseek-harness-forge-plugins
    ★ 3 MIT Go
    已收录 Bundle 已验证

    jinguanghai/deepseek-harness-forge-plugins#evidence-first: 证据铁律守卫：模型声称成功但上下文中没有对应工具执行记录时，自动注入警告。 jinguanghai/deepseek-harness-forge-plugins#forge-gates: 真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。 jinguanghai/deepseek-harness-forge-plugins#forge-memory: 基于 BM25 关键词检索的记忆召回。 jinguanghai/deepseek-harness-forge-plugins#forge-tcm: 中医工具集：八纲辨证与药对查询。

    dsh plugin --profile default add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/evidence-first
    开发者工具