SEMANTIC DIRECTORY · plugin-directory-semantic-v3-18
符号推演与形式化验证
纳入符号微分、张量与代数化简，以及使用Lean等形式化系统进行定理证明、逻辑推导和正确性校验的工具；排除只输出数值结果的计算器和工程仿真。
叶子目录成员
12 个插件
deepseek-harness-forge-pluginsjinguanghai/deepseek-harness-forge-plugins目录 已分析Forge-plus: math/logic/regex/eprover/system/repair gates + TCM diagnosis + memory recall plugins for DeepSeek Harness (dsh)兼容性DSH 0.1.2-rc.1 · web依赖审计未测试制品未解析证据更新2026-09-10公开信号3 starsdeepseek-harness-forge-plugins#forge-gatesjinguanghai/deepseek-harness-forge-plugins目录 已分析真实计算验证门：数学化简、逻辑证明、正则校验、E-prover 一阶逻辑、状态机检查与代码修复，由 Go 编译的二进制支撑（附 Windows 预编译产物）。兼容性DSH 0.1.2-rc.1 · web依赖审计未测试制品未解析证据更新2026-09-10公开信号3 starsdsh-danusdsh-danus目录 已分析Danus-native DSH plugin suite: verifier-gated mathematical proof-search orchestration (fact graph, role-gated tools, cold-start verifier, worker swarm, orchestration tools, heartbeats).兼容性DSH 0.1.2-rc.1 · web依赖审计有限审计报告 0 项制品0.1.0证据更新2026-09-08公开信号179 downloadsdsh-diffgeomhatter123/dsh-diffgeom目录 已分析dsh用来计算几何问题的插件兼容性DSH 0.1.2-rc.1 · web依赖审计未测试制品未解析证据更新2026-09-10公开信号0 starsdsh-is-coprimeuckkk/dsh-is-coprime目录 已分析互质判断兼容性DSH 0.1.2-rc.1 · web依赖审计未测试制品未解析证据更新2026-09-10公开信号0 starsdsh-is-perfectuckkk/dsh-is-perfect目录 已分析完全数判断兼容性DSH 0.1.2-rc.1 · web依赖审计未测试制品未解析证据更新2026-09-10公开信号0 starsdsh-math-suitehatter123/dsh-math-suite目录 已分析dsh用来进行数学计算的工具整合包，内含多个数学工具兼容性DSH 0.1.2-rc.1 · web依赖审计未测试制品未解析证据更新2026-09-10公开信号1 starsdsh-nth-rootuckkk/dsh-nth-root目录 已分析N 次方根兼容性DSH 0.1.2-rc.1 · web依赖审计未测试制品未解析证据更新2026-09-10公开信号0 starsdsh-physics-formulasuckkk/dsh-physics-formulas目录 已分析物理公式兼容性DSH 0.1.2-rc.1 · web依赖审计未测试制品未解析证据更新2026-09-10公开信号0 starsdsh-sumuckkk/dsh-sum目录 已分析求和兼容性DSH 0.1.2-rc.1 · web依赖审计未测试制品未解析证据更新2026-09-10公开信号0 starsdsh-wolframhatter123/dsh-wolfram目录 已分析Call Wolfram Mathematica from DeepSeek Harness兼容性DSH 0.1.2-rc.1 · web依赖审计未测试制品未解析证据更新2026-09-10公开信号1 starsmath-leanFisfzy/math-lean目录 已分析dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)兼容性DSH 0.1.2-rc.1 · web依赖审计未测试制品未解析证据更新2026-09-10公开信号1 stars
分类属于公开语义索引事实，不是最终推荐；兼容性、权限与来源证据仍需分别核对。