模型与 MCP
插件
math-rigor
bauerelizabeth07139
Auditable mathematical proving for DeepSeek Harness: a local stdio MCP server (23 tools), a bundled workflow skill, and the /prove and /audit-proof commands. proven / refuted / inconclusive are never conflated, and unproven steps are reported, not hidden.
ai-agent
deepseek-harness
dsh
dsh-plugin