# deepseek-harness-forge-plugins-forge-gates — DeepSeek Harness 插件安装清单

> 生成时间: 2026-09-19 17:42 · 数据来源: https://deepseekmodel.com/plugins

## 插件简介

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

## 插件信息

| 分类 | 维护者 | GitHub 星标 | 许可证 | 主要语言 | 最近推送 |
| --- | --- | --- | --- | --- | --- |
| 工具与能力 | jinguanghai | 2 | — | — | — |

## 安装方式

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

## 安装步骤

1. 安装并启动 DeepSeek Harness（DSH，MIT 开源 Agent 运行时） — `npx @deepseek-ai/dsh web`
2. 在终端执行上面的命令，CLI 会解析插件并核验来源
3. 用 dsh plugins list 确认已安装，必要时重启 Harness

> 需要固定版本时，可在仓库地址后追加 #commit。

## 安装前请审计

插件以当前 dsh 进程的权限运行，安装时可能执行代码。请先通读仓库源码与许可证，确认没有破坏性命令与越权访问；需要可复现安装时固定 commit 哈希。本清单由 DeepseekModel 从公开插件目录整理，仅供参考，不对第三方插件安全性作担保。

---

- 代码仓库: https://github.com/jinguanghai/deepseek-harness-forge-plugins#forge-gates
- 插件详情页: https://deepseekmodel.com/plugin-detail?id=jinguanghai%2Fdeepseek-harness-forge-plugins-forge-gates
- 数据来源: https://deepseek-harness-plugin.com/zh-CN/plugins/ · 生成时间 2026-09-19