dsh-math-rigor: 本地可审计的数学证明工具链

`dsh-math-rigor` 是 DeepSeek Harness (DSH) 的一个插件化架构组件，旨在通过本地 MCP 服务器和内置 Skill，为 AI 推理提供自动化、可审计的数学证明能力。该插件支持 `/prove` 和 `/audit-proof` 两条 slash 命令，能执行从策略制定到机器审计的六阶段证明流程。它依赖 Python、SymPy、Z3 等本地工具，确保推理过程完全离线且安全，严格限制输入执行，适用于需要高可信度数学推导的智能体开发场景。