How to install
dsh plugin add github:symmetryseeker/math-agent-framework About
Math Agent Framework (MAF) **Reusable mathematical derivation & verification framework** — SymPy/NumPy/SciPy symbolic & numerical engine, Lean 4 formal proofs (compiler-verified), and QED-style multi-agent adversarial verification, exposed as a CLI, an MCP server, and a DeepSeek Harness (DSH) plugin. **可复用数学推导与验证框架** — SymPy/NumPy/SciPy 符号与数值引擎、Lean 4 形式化证明（真编译验证）、QED 风格多 Agent 对抗验证；提供 CLI、MCP Server 与 DeepSeek Harness (DSH) 插件三套接口。 Maintainer: symmetryseeker (single maintainer). This project has **no external collaborators** — all maintenance is done by the author. 维护者：symmetryseeker（单维护者）。本项…
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；描述过短（<20 字符），疑似低质
- Sources
- curated:awesome-dsh-plugin/awesome-dsh-plugin
Related plugins
superpowers
obra/superpowers
An agentic skills framework & software development methodology that works.
dev-browser
SawyerHood/dev-browser
A Claude Skill to give your agent the ability to use a web browser
ruflo
ruvnet/claude-flow
🌊 The original agent harness. Deploy intelligent multi-player swarms, coordinate autonomous workflows, and build conversational AI systems. Features adaptive memory, self-learning intelligence, federation, vector RAG integration, and native Claude Code / Codex / Hermes and many more Integrated