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
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.