# Vibe-Mathematics

> Vibe Mathematics —— 多代理数学问题求解与形式化验证框架

## Metadata

- Author: [@ChongCyrus](https://github.com/ChongCyrus)
- Repo: <https://github.com/ChongCyrus/Vibe-Mathematics>
- GitHub: [ChongCyrus/Vibe-Mathematics](https://github.com/ChongCyrus/Vibe-Mathematics)
- Stars: 3
- Language: JavaScript
- License: [MIT](https://spdx.org/licenses/MIT.html)
- Topics: `agent-preset`, `ai-agents`, `deepseek-harness`, `dsh-plugin`, `llm`, `math`, `multi-agent`, `theorem-proving`
- Forks: 0
- Open Issues: 0
- Last push: 2026-08-19T14:06:00.000Z
- Added: 2026-08-19T00:00:00.000Z

## Install

```bash
dsh plugin --profile web add dsh-vibe-math
```

---

This document is auto-generated by [deepseek-plugin.org](https://deepseek-plugin.org). HTML page: [Vibe-Mathematics](https://deepseek-plugin.org/plugins/ChongCyrus/Vibe-Mathematics)