https://deeplugin.store/plugins/deeplugin-fc8b8c297c784a1945a2.atom.xml 2026-08-15T22:14:49Z tag:deeplugin.store,2026-08-15:deeplugin-fc8b8c297c784a1945a2/39c4cd8ba93a4acf 2026-08-15T22:14:49Z 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. Exact install spec: github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates. Source event: zoahdev/dsh-subscribe; changed: sources.

tag:deeplugin.store,2026-08-15:deeplugin-fc8b8c297c784a1945a2/e1d2ae6b34bd984b 2026-08-15T22:14:49Z 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. Exact install spec: github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates. Source event: dsh-market/dsh-market; changed: sources.

tag:deeplugin.store,2026-08-15:deeplugin-fc8b8c297c784a1945a2/0aa1d725c44f3843 2026-08-15T22:14:49Z 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. Exact install spec: github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates. Source event: awesome-dsh-plugin/awesome-dsh-plugin; changed: listed.