jinguanghai/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.
$ dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins/tree/main/plugins/forge-gatesHealth breakdown
40 / 100This plugin has not fully disclosed its data-collection behavior. Review the source and manifest before installing.
Security
Key metrics
Related
Related plugins
Vision bridge for text-only models: paste an image, get structured JSON evidence (OCR, layout, semantics).
Export DSH conversations as Smartisan Notes-style PNGs, or create and update Markdown notes in a configured account-scoped workspace.
Detect and repair silent Excel formula errors: pattern validation, semantic Formula IR compilation, deterministic and LLM repair, oracle scoring, and chart validation.
Talk to Excel in DeepSeek Harness: create, edit, repair, and verify spreadsheets by conversation, with automatic formula health checks after every edit.
Accessibility-first macOS computer use: fresh observations, stale-state rejection, scoped permissions, and safe input.
One shell tool for PowerShell / Git Bash / WSL on Windows plus an interactive PTY terminal; the default terminal is chosen by the user in DSH settings.