Vibe-Mathematics
Multi-agent mathematical problem-solving and formal verification preset bundle for DeepSeek Harness.
Install
$ dsh plugin --profile <你的 profile> add dsh-vibe-math@<版本>Plugin Overview & Capabilities
AI-assisted organization based on the public repository snapshot. The content must be grounded in source evidence and does not replace compatibility or security verification.
Key Capabilities
- Bundles multiple agent preset architectures: v2 (heuristic/JSON-driven), v3 (Markdown paper/planner-driven), v4 (self-organizing resident agents), and v5 (academic institute model with voting quorum)
- Lean 4 formal verification integration with configurable enforcement modes (off, encourage, require) and background compilation
- Automated final paper synthesis in Markdown, LaTeX, and PDF before marking runs complete
- Cross-session persistence, process epoch tracking, and checkpointed breakpoint resumption
- Isolated per-project and multi-session workspaces with conflict-preventing project and write locks
- External mathematical computing execution and engine discovery across Python, R, Julia, Octave, and others
Useful For
- Autonomous multi-agent mathematical proof discovery and hypothesis checking
- Formal proof verification and archiving via Lean 4
- Collaborative problem decomposition and structured research paper generation in DSH sessions
Who It Fits
- Mathematicians and researchers using DeepSeek Harness for formal verification
- AI workflow developers running multi-agent debate and consensus pipelines
Documented Limitations
- Requires an external pnpm installation for DSH plugin installation and updates
- Does not bundle Lean toolchains or LaTeX engines; external binaries (such as Lean 4 or xelatex) must be installed separately on the host
- Formal proof verification checks kernel validity only, not semantic fidelity to original natural-language claims
DSH Compatibility
Version-specific runtime evidence collected by DSH Plugin. A missing result means we have not tested that combination yet.
Security Signals
Objective signals discovered from package metadata and source inspection. These are not a guarantee that a plugin is safe.
package.json declares 0 runtime, 0 development, 1 peer, and 0 optional dependencies.
package.json declares DSH bundle metadata.
GitHub reports the repository license as MIT.
A root package.json was captured and can be inspected by the registry.
Public GitHub source metadata is available for this registry snapshot.
Source & Registry Notes
Public provenance, Registry classification, and the latest source check for this entry, kept separate from runtime verification.
- Source repository
- ChongCyrus/Vibe-Mathematics
- Registry source
- GitHub · dsh-plugin topic
- Registry classification
- Plugin Bundle
- Source checked
- 3e5b26e · 2026-10-17
This project is independently indexed from public source information. DSH Plugin is not affiliated with DeepSeek or the plugin author. Always check the author repository before installation.
Repository Activity
- GitHub stars
- 37GitHub stars
- Forks
- 3
- Open issues
- 9
- Last commit
- 2026-10-17
- Last release
- 2026-10-05
Related DSH Plugins
Ranked by overlapping capabilities, use cases, plugin type, categories, and DSH profile.
Native SQLite-backed task management and project board bundle with Web UI and Agent workflow tools for DeepSeek Harness.
View plugin →Persistent multi-model agent teams with dynamic DAG orchestration, run monitoring, and token insights for DeepSeek Harness.
View plugin →Industry and company research domain pack for DeepSeek Harness providing chain mapping, public tracking, company cards, and verifiable reports.
View plugin →Second-model AI auto-review for DeepSeek Harness approval requests with fail-closed fallback and session audit logging.
View plugin →