プラグイン

DeepSeek Harness用のMath Agent Framework：記号導出エンジン（CES／二次形式／ODE／PDE）、SymPyによる検証、Lean 4コンパイラ検証済みの形式証明、QEDスタイルのマルチエージェント敵対的検証を提供し、Pythonエンジンを橋渡しするTSシェルを通じてネイティブDSHツールとして公開。math-agent-frameworkリポジトリのクローンと`pip install -r requirements.txt`が必要で、MATH_AGENT_HOMEはリポジトリのルートを指します。すべての結果に出所情報（エンジンバージョン、シード、許容誤差）が付き、信頼できないデータとしてマークされます。

SymPy-backed exact computation and independent verification for China's postgraduate entrance exam Mathematics I: 14 tools over 214 operators, exact symbolic results by default, and every result re-checked by a separate mechanism (requires Python 3.10+ with sympy and mpmath).

几何论（共扼谱几何 CSG）知识库插件 for DeepSeek Harness：以 Markdown 文章为唯一真源，程序自动重建 BM25 索引、类型化主张依赖图与修复工作单并做一致性审计，附 869 条真理层与 SymPy 公式验证。开箱即用的离线知识库（31 个 geo_* 工具），零运行时依赖。Conjugate Spectral Geometry knowledge base plugin for DeepSeek Harness: offline BM25 retrieval, typed