github:bauerelizabeth07139/math-rigor
toolsgit
给 DeepSeek Harness 的可审计数学证明:本地 stdio MCP 服务器(23 个机器校验工具)+ 工作流技能 + /prove、/audit-proof 命令。proven / refuted / inconclusive 绝不混淆,未证明的步骤如实报告而非隐藏。需 Python 3.10+，首次运行要 pip install -r requirements.txt（就绪前 23 个工具不可用）。
下载量 / Downloads
0
安装
dsh plugin --profile web add github:bauerelizabeth07139/math-rigor
沙箱测试
这个插件还没测过。提交测试 →