skill · symmetryseeker
数学 Agent 框架接入 DeepSeek Harness：符号推导引擎（CES/二次型/ODE/PDE）、SymPy 验证、Lean 4 真编译验证的形式化证明、QED 多 Agent 对抗验证，经 TS 壳桥接 Python 引擎暴露为 DSH 原生工具。需先克隆 math-agent-framework 仓库并 `pip install -r requirements.txt`，将 MATH_AGENT_HOME 指向仓库根目录。所有结果携带 provenance（引擎版本/seed/容差）并标记为不可信数据。
当前信任状态是 screened，没有安装按钮，也没有可执行安装器。
尚无护照。
公开评价需要 GitHub 或安装日志身份。当前这个版本还没有已发布评价。评价不能改变护照。
提交：POST /api/v1/reviews，举报：POST /api/v1/reviews/:id/report