DeepSeek Harness 的本地優先 Agent 經驗網路：從 trace 與實時 Manifest 蒸餾任務級經驗，按 H0-H4 證據分級、按相容性發現，經顯式審閱後才晉升。
2 個專案
DeepSeek Harness 的本地優先 Agent 經驗網路：從 trace 與實時 Manifest 蒸餾任務級經驗，按 H0-H4 證據分級、按相容性發現，經顯式審閱後才晉升。
數學 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/容差）並標記為不可信資料。