# deepseek-harness-forge-plugins-forge-gates — DeepSeek Harness plugin install manifest

> Generated: 2026-09-17 19:20 · Source: https://deepseekmodel.com/plugins

## Overview

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.

## Plugin info

| Category | Maintainer | GitHub stars | License | Primary language | Last push |
| --- | --- | --- | --- | --- | --- |
| Tools & Capabilities | jinguanghai | 2 | — | — | — |

## Install

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

## Steps

1. Install and start DeepSeek Harness (DSH, MIT-licensed open-source agent runtime) — `npx @deepseek-ai/dsh web`
2. Run the command above; the CLI resolves the plugin and verifies its source
3. Confirm with dsh plugins list; restart Harness if needed

> To pin a revision, append #commit to the repository spec.

## Audit before installing

Plugins run with your dsh process permissions and may execute code during installation. Read the repository source and license first, check for destructive commands or excessive access, and pin a commit hash for reproducible installs. This manifest is compiled by DeepseekModel from a public plugin catalog for reference only and does not vouch for third-party plugins.

---

- Repository: https://github.com/jinguanghai/deepseek-harness-forge-plugins#forge-gates
- Plugin page: https://deepseekmodel.com/plugin-detail?id=jinguanghai%2Fdeepseek-harness-forge-plugins-forge-gates
- Source: https://deepseek-harness-plugin.com/zh-CN/plugins/ · Generated 2026-09-16