math-agent-framework

怎么安装

简介

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（单维护者）。本项…

推荐参考

信息

协议

–

语言

Python

GitHub 星标

5

月下载

–

最近更新

2026-08-23

创建于

2026-06-02

链接

基础安全检查

检查结果

curated 收录但无 npm 包/安装命令；无 license；描述过短（<20 字符），疑似低质

收录来源

curated:awesome-dsh-plugin/awesome-dsh-plugin