页面加载中
https://github.com/jinguanghai/deepseek-harness-forge-plugins/tree/main/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.
PromptHub provides the directory and install command only. Plugin code comes from the author's GitHub or npm source; review it locally before installing.
dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gatesThese labels describe capabilities publicly declared by the plugin; actual behavior depends on the author's source and host configuration.
A DSH Plugin runs with your local permissions and may access files, shells, networks, or credentials. Listing and static metadata are not a security guarantee from PromptHub; review the source first.