플러그인

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