SEMANTIC DIRECTORY · plugin-directory-semantic-v3-18
Symbolic Math & Formal Verification
纳入符号微分、张量与代数化简，以及使用Lean等形式化系统进行定理证明、逻辑推导和正确性校验的工具；排除只输出数值结果的计算器和工程仿真。
Leaf membership
12 plugins
deepseek-harness-forge-pluginsjinguanghai/deepseek-harness-forge-pluginsCatalog AnalyzedForge-plus: math/logic/regex/eprover/system/repair gates + TCM diagnosis + memory recall plugins for DeepSeek Harness (dsh)CompatibilityDSH 0.1.2-rc.1 · webDependency auditNot testedArtifactUnresolvedEvidence updated2026-09-10Public signals3 starsdeepseek-harness-forge-plugins#forge-gatesjinguanghai/deepseek-harness-forge-pluginsCatalog AnalyzedReal-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.CompatibilityDSH 0.1.2-rc.1 · webDependency auditNot testedArtifactUnresolvedEvidence updated2026-09-10Public signals3 starsdsh-danusdsh-danusCatalog AnalyzedDanus-native DSH plugin suite: verifier-gated mathematical proof-search orchestration (fact graph, role-gated tools, cold-start verifier, worker swarm, orchestration tools, heartbeats).CompatibilityDSH 0.1.2-rc.1 · webDependency audit0 reported in bounded auditArtifact0.1.0Evidence updated2026-09-08Public signals179 downloadsdsh-diffgeomhatter123/dsh-diffgeomCatalog Analyzeddsh用来计算几何问题的PluginCompatibilityDSH 0.1.2-rc.1 · webDependency auditNot testedArtifactUnresolvedEvidence updated2026-09-10Public signals0 starsdsh-is-coprimeuckkk/dsh-is-coprimeCatalog Analyzed互质判断CompatibilityDSH 0.1.2-rc.1 · webDependency auditNot testedArtifactUnresolvedEvidence updated2026-09-10Public signals0 starsdsh-is-perfectuckkk/dsh-is-perfectCatalog Analyzed完全数判断CompatibilityDSH 0.1.2-rc.1 · webDependency auditNot testedArtifactUnresolvedEvidence updated2026-09-10Public signals0 starsdsh-math-suitehatter123/dsh-math-suiteCatalog Analyzeddsh用来进行数学计算的工具整合包，内含多个数学工具CompatibilityDSH 0.1.2-rc.1 · webDependency auditNot testedArtifactUnresolvedEvidence updated2026-09-10Public signals1 starsdsh-nth-rootuckkk/dsh-nth-rootCatalog AnalyzedN 次方根CompatibilityDSH 0.1.2-rc.1 · webDependency auditNot testedArtifactUnresolvedEvidence updated2026-09-10Public signals0 starsdsh-physics-formulasuckkk/dsh-physics-formulasCatalog Analyzed物理公式CompatibilityDSH 0.1.2-rc.1 · webDependency auditNot testedArtifactUnresolvedEvidence updated2026-09-10Public signals0 starsdsh-sumuckkk/dsh-sumCatalog Analyzed求和CompatibilityDSH 0.1.2-rc.1 · webDependency auditNot testedArtifactUnresolvedEvidence updated2026-09-10Public signals0 starsdsh-wolframhatter123/dsh-wolframCatalog AnalyzedCall Wolfram Mathematica from DeepSeek HarnessCompatibilityDSH 0.1.2-rc.1 · webDependency auditNot testedArtifactUnresolvedEvidence updated2026-09-10Public signals1 starsmath-leanFisfzy/math-leanCatalog Analyzeddsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)CompatibilityDSH 0.1.2-rc.1 · webDependency auditNot testedArtifactUnresolvedEvidence updated2026-09-10Public signals1 stars
Categories are public semantic index facts, not a final recommendation. Compatibility, permissions, and source evidence remain separate.