dsh.pubStar on GitHub
All plugins

DSH / BUNDLE / BUNDLES

dsh-math-rigor

v0.2.2bauerelizabeth07139 / dsh-math-rigorbaae8e589b

InstallableBundlesBundles & other modulesCommunity · Topic auto-analysis
Open on GitHub

Overview

dsh-math-rigor

Auditable mathematical proving for DeepSeek Harness: a local stdio MCP server with 23 tools, a bundled workflow skill and two slash commands. proven / refuted / inconclusive are never conflated, and unproven steps are reported, not hidden.

README / EN

Package documentation

Registry summary

Auditable mathematical proving for DeepSeek Harness: a local stdio MCP server with 23 tools, a bundled workflow skill and two slash commands. proven / refuted / inconclusive are never conflated, and unproven steps are reported, not hidden.

dsh.pub verifies the pinned bundle contract, runtime facts, and distribution semantics. The complete README remains in the source repository.

Read the full README on GitHub

Same capability topic

Related by capability

Ranked by shared capability topic, runtime face, tools or UI contributions, and distribution mode. This is not a similarity, quality, or compatibility ranking.