dsh-formula-verify：用可执行校验替代对话里的公式「口头证明」

dsh-formula-verify 是 lizyoko9 维护的 DeepSeek Harness 社区插件，提供公式校验 skill、自举 SymPy CLI 与 Formula Lab 侧边栏面板。安装源为 git+https://github.com/lizyoko9/dsh-formula-verify。核心能力包括 check 的 symbolic/numeric/failed 判定、formula card 与私有 venv 内 pytest、从 TeX/PDF/Markdown 的 paper extract，以及客户端转换抽取流程。适用读论文与文档化验证；需注意 SymPy 非形式证明、PDF/Mathpix 与外部 command 的信任边界，安装前查阅 MIT 源码。