EverOS
EverMind-AI
One portable memory layer for every AI agent: local-first, Markdown-native, user-owned, and self-evolving across apps, tools, and workflows.
ChongCyrus/Vibe-Mathematics
Vibe-Mathematics is a tool for DeepSeek Harness. Vibe Mathematics —— multi-agent mathematical problem solving and formal verification framework

REVIEW SCORECARD
✓ No risk detected · Automated scan results are for reference only, not an official endorsement
AI DEEP REVIEW
Ambitious multi-agent math solving preset suite with strong docs, but no visible tests or CI and v4 is experimental.
README documents three distinct architectures with diagrams, generation scripts, and a settings file, but no test suite, CI config, or linting evidence is shown.
Install is a standard npm/GitHub plugin add with no download-and-execute scripts or plaintext secrets visible, though sub-agent tool permissions and external tool call limits are configurable rather than audited.
Targets a real pain point by automating multi-agent math problem solving with cross-verification, persistent knowledge bases, and resumable runs, though the niche is narrow.
Last updated 2026-08-26, not archived, and README describes active maintenance of v2/v3 plus an experimental v4, but only 13 stars limits community validation.
README is extensive with install commands for both plugin and manual paths, architecture diagrams, feature lists, and a 'how to choose' section, though it is Chinese-only and the excerpt is truncated mid-sentence.
Generated by AI after reading the project README — a decision aid, not an endorsement. Neutral scores are given when information is limited.
Loading GitHub README...
The GitHub README is temporarily unavailable. Please try again later.
Open repositoryINSTALL REFERENCE
dsh plugin --profile <你的 profile> add dsh-vibe-mathThis command was extracted from an explicit README install reference and is display-only; the DSH host will not execute it automatically.
PROJECT TOPICS
VALIDATION LADDER
FAQ
Vibe Mathematics —— multi-agent mathematical problem solving and formal verification framework
Vibe-Mathematics has 13 stars and 0 forks on GitHub, last updated 2026-08-26.
Vibe-Mathematics is distributed under the MIT license.
Vibe-Mathematics is listed in the DSH Universe directory as a tool for DeepSeek Harness. This plugin is listed in the DSH Universe directory and covered by its validation pipeline.
CLASSIFICATION EVIDENCE
The system checks GitHub Topics against the site taxonomy and keyword rules. Current matches:math、multi-agent、theorem-proving。