github:bauerelizabeth07139/math-rigor
toolsgit
Auditable mathematical proving for DeepSeek Harness: a local stdio MCP server with 23 machine-checking tools, a bundled workflow skill, and the /prove and /audit-proof commands. proven, refuted and inconclusive are never conflated, and unproven steps are reported instead of hidden. Needs Python 3.10
下载量 / Downloads
0
Install
dsh plugin --profile web add github:bauerelizabeth07139/math-rigor
Sandbox test
This plugin has not been tested yet. Submit a test →