bauerelizabeth07139/dsh-math-rigor
DeepSeek Harness plugin: auditable mathematical proving — a local stdio MCP server with 23 tools, a bundled workflow skill and two slash commands. proven / refuted / inconclusive are never conflated.
🔌 Network
undeclared
⏳ Sandbox
untested
Who this is for
- developers using DSH for coding with Git workflows
下载量 / Downloads
0
Install
dsh plugin --profile web add bauerelizabeth07139/dsh-math-rigor
Sandbox test
This plugin has not been tested yet. Submit a test →
Links
Frequently asked
How do I install bauerelizabeth07139/dsh-math-rigor?
Run
dsh plugin --profile web add bauerelizabeth07139/dsh-math-rigor in DSH, or paste the package name into the DSH Desktop plugin page.What if it fails to install?
Check your DSH version first (
dsh --version), then look at the first error in the test-results section. If it still fails, open an issue on the repository.How do I uninstall it?
Run
dsh plugin --profile web remove bauerelizabeth07139/dsh-math-rigor.