math-agent-framework
Math Agent Framework for DeepSeek Harness: symbolic derivation engine (CES / quadratic forms / ODE / PDE), SymPy verification, Lean 4 compiler-verified formal proofs, and QED-style multi-agent adversarial verification, exposed as native DSH tools through a TS shell bridging a Python engine. Requires cloning the math-agent-framework repo and `pip install -r requirements.txt`, with MATH_AGENT_HOME pointing at the repo root. Every result carries provenance (engine versions, seed, tolerances) and is marked untrusted data.
数学 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/容差）并标记为不可信数据。
How to install
dsh plugin add github:symmetryseeker/math-agent-framework/tree/main/dsh-plugin Recommendation signals
Meta
- License
- –
- Language
- Python
- GitHub stars
- 5
- mo. downloads
- –
- Last push
- 2026-08-23
- Created
- 2026-06-02
Links
Basic safety check
- Findings
- curated 收录但无 npm 包/安装命令；无 license
- Sources
- curated:awesome-dsh-plugin.com
Related plugins
mcp-server-chart
antvis/mcp-server-chart
🤖 A visualization mcp & skills contains 25+ visual charts using @antvis. Using for chart generation and data analysis.
superpowers
obra/superpowers
An agentic skills framework & software development methodology that works.
ruflo
ruvnet/claude-flow
🌊 The original agent meta-harness. Deploy intelligent multi-player swarms, coordinate autonomous workflows, and build conversational AI systems. Features adaptive memory, self-learning intelligence, RAG integration, and native Claude Code / Codex / Hermes and many more Integrated
Aegis
GanyuanRan/Aegis
Software-engineering method pack for coding agents, with skills for baseline-first planning, systematic debugging, prompt hygiene, verification before completion, and repair/retirement tracking.