deepseek-harness-forge-plugins#forge-gates

工具与集成JavaScriptMIT

真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。

3 Starsjinguanghai 更新时间 2026-08-21

访问 GitHub 仓库

项目介绍

中文

真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。

English

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.

项目信息与收录信号

快照 2026-09-11

作者 / 组织: jinguanghai
仓库: jinguanghai/deepseek-harness-forge-plugins#forge-gates
GitHub Stars: 3
Forks: 0
开发语言: JavaScript
许可证: MIT
最近推送: 2026-08-21
Manifest: 数据中检测到声明

dsh-plugin plugin-market

公开仓库不自动等于可商用；许可证与当前兼容性以原项目文档为准。Manifest 和数据评分不构成安装安全认证。

数据评分

40/ 100

维护活跃

文档与实用信息

生态关注度

安装便捷信号

项目声明信号

近 21 天仍在更新；文档较简略；关注度尚低（3）。

评分来自已有数据快照的五维模型，仅作浏览参考，不是实际使用评测或安全检测结论。

安装与使用

所有项目资料与许可均以对应 GitHub 仓库为准。

dsh plugin --profile web add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/forge-gates

复制命令不会自动执行。请先阅读仓库文档，确认环境要求与许可证。

项目截图

仓库 README

此项目尚未保存 README 快照。可以读取 GitHub 公开资料，或直接打开仓库文档。

阅读原文

使用前核对

安装步骤、兼容版本与授权范围以原项目当前文档为准。Stars 和评分是快照中的导航信号。

安装与排错 · 项目问题反馈