deepseekplugins

DeepSeek Harness 插件

deepseek-harness-forge-plugins#forge-gates

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

工具与能力未检测到许可证
跳到安装方式

来源信息

仓库
jinguanghai/deepseek-harness-forge-plugins#forge-gates
最近来源活动
2026年8月14日
Registry 分类
工具与能力
星标
0
Forks
快照中没有数据

安装方式

先检查来源，再复制社区 registry 提供的命令。

dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates

此命令来自社区 registry 快照。运行前请检查仓库与 package scripts。

检查目录记录

只读发现信息。使用前请到仓库核对每个字段。

目录记录1 个文件
registry-record.json只读
registry-record.json发现信息 · 到来源核验
{
  "name": "deepseek-harness-forge-plugins#forge-gates",
  "owner": "jinguanghai",
  "category": "tools",
  "description": "Real-compute verification gates: math simplification, logic proofs, regex validation, E-prover FOL, state-machine checks, and code repair, backed by Go-compiled binaries with prebuilt Windows executables.",
  "descriptionZh": "真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。",
  "install": "dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates",
  "npm": null,
  "stars": 0,
  "added": "2026-08-14",
  "source": "registry"
}

第三方代码与预览版本风险

目录收录和 GitHub stars 都不能证明该插件安全。加入 profile 前，请检查 manifest、安装脚本、权限、网络行为、密钥处理、许可证和未解决的问题。

返回搜索检查 GitHub 来源

更多相关插件

查看分类