Plugins

Sicherer Auswerter für mathematische Ausdrücke, Recursive-Descent-Parser ohne Abhängigkeiten.

Multi-agent math problem-solving & verification framework: brainstorm → solver iteration → multi-verifier debate → Verified knowledge base, with checkpoint resume and manual/auto intervention (also ships as an agent preset).

Erzeugt in sich geschlossene, interaktive HTML-Berichte aus Markdown, Tabellen, Diagrammen, China-Provinzkarten, Flussdiagrammen, Mathematik und Drilldown-Tabellen — ein DeepSeek-Harness-(dsh)-Plugin.

Verifikations-Gates mit echter Berechnung: mathematische Vereinfachung, Logikbeweise, Regex-Validierung, E-Prover-FOL, Zustandsmaschinen-Prüfungen und Code-Reparatur, gestützt auf in Go kompilierte Binärdateien mit vorgefertigten Windows-Executables.

RigorQuant-Preset + Skill-Paket: unbeaufsichtigte, abgeschottete Multi-Agent-Recherche für empirische und rechnergestützte Mathematik (Wirtschaft, Finanzen, Portfolio), mit einer vierteiligen Prüfbatterie vor der Umsetzung und einer Eskalationsschiene über Jacobian/Lean.

Fragt 64 chinesische Prüfungen (Gaokao/Aufnahmeprüfung für den Master/CET-4/6/CPA/Rechtsanwaltsprüfung …) mit regelbewusster Datumsberechnung (2. Samstag, 1. Sonntag) und Countdowns ab.

Finance data toolkit for DSH agents: number and currency formatting (incl. Chinese wan/yi units), return and CAGR math, valuation and profitability ratios, PV/FV, risk metrics, and a data-quality checklist.

Manim-Mathematik-Plugin für DeepSeek Harness

Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.

Local-life toolkit for DSH agents: budget planning, bill splitting, unit-price and discount math, common unit conversions (jin/li/chi, C/F, L/gallon), and trip checklists.

Terminplanung für wiederkehrende Gewohnheiten allein aus Datumsberechnung: nächstes Vorkommen, Zeitraumpläne und Hinweise bei Überfälligkeit.