概览
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 / ZH
插件文档
目录摘要
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 核对固定版本的组合包契约、运行时事实与分发语义；完整 README 请查看源仓库。
在 GitHub 阅读完整 README