forge-gates

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

使用方式

使用方式：对话调用

安装

安装准备：查看仓库说明

该插件没有可靠的公开安装命令，请通过上方 GitHub 按钮查看仓库说明。