deepseek-harness-forge-plugins#forge-memory
jinguanghai/deepseek-harness-forge-plugins#forge-memory
BM25 keyword-based memory recall.
DeepSeek Harness plugin
deepseek-harness-forge-plugins#forge-gates
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.
Jump to installSource facts
- Repository
- jinguanghai/deepseek-harness-forge-plugins#forge-gates
- Last source activity
- Aug 14, 2026
- Registry category
- Tools & Capabilities
- Stars
- 0
- Forks
- Not in snapshot
Install options
Review the source first, then copy the community registry command.
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gatesThis command comes from the community registry snapshot. Review the repository and package scripts before running it.
Review the catalog record
Read-only discovery metadata. Verify every field against the repository before use.
registry-record.jsonread only
registry-record.jsonDiscovery metadata · verify at source{
"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.",
"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"
}Third-party code and preview-version risk
Catalog inclusion and GitHub stars do not certify this plugin. Inspect its manifest, install scripts, permissions, network behavior, secrets handling, license, and open issues before adding it to a profile.