jinguanghai

#1·deepseek-harness-forge-plugins

jinguanghai

3

为 DSH 添加数学、逻辑、正则等门控及记忆召回插件。

#2·forge-tcm/plugins/forge-tcm

jinguanghai

—

中医工具集：八纲辨证与药对查询。

#3·forge-gates/plugins/forge-gates

jinguanghai

—

真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑并附带预编译 Windows 可执行文件。

#4·forge-market/plugins/forge-market

jinguanghai

—

提供数学、逻辑、正则等门控插件市场，并支持记忆召回。

#5·forge-memory/plugins/forge-memory

jinguanghai

—

基于 BM25 关键词检索的记忆召回。

#6·evidence-first/plugins/evidence-first

jinguanghai

—

增加逻辑、修复和系统门控，配合记忆召回以编排智能体工作流。