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 源碼。