deepseek-harness-forge-plugins#forge-gates
Author jinguanghai
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.
- GitHub stars
- 3
- License
- MIT
- Added
- 2026-08-14
GitHub info
- GitHub stars
- 3
- License
- MIT
- Primary language
- Go
- Last push
- Aug 16, 2026, 1:23 PM
- Maintainer
- jinguanghai
- Added
- 2026-08-14
Install
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gatesREADME badge
Add this Markdown to your plugin README to link back to its listing.
[](https://dshget.com/plugins/jinguanghai/deepseek-harness-forge-plugins%23forge-gates)Related plugins
Tools & Capabilitiesdeepseek-harness-forge-plugins#forge-tcm
★ 3Traditional Chinese Medicine toolkit: eight-axes diagnosis and herb-pair lookup.
WeKnora#dsh-weknora
★ 20882Four read-only tools over a WeKnora knowledge base: list knowledge bases, hybrid passage search, reassemble one document's chunks in order, and WeKnora's own cited RAG or ReAct-agent answer with a resumable session id.
treg
★ 699Tool catalog for agents: search ~2,600 external endpoints (SEO and SERP, backlinks, social, people and company enrichment, ad libraries, scraping) by the task you want done, read each one's parameters and per-call price, then call it with the credential injected server-side. Ships the skill plus an MCP row that stays disabled until TREG_TOKEN is set.