Plugins

Évaluateur d'expressions mathématiques sécurisé, avec un analyseur syntaxique à descente récursive sans dépendance.

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).

Générez des rapports HTML interactifs autonomes à partir de Markdown, de tableaux, de graphiques, de cartes des provinces chinoises, d'organigrammes, de mathématiques et de tableaux avec exploration détaillée — un plugin DeepSeek Harness (dsh).

Portes de vérification par calcul réel : simplification mathématique, preuves logiques, validation regex, FOL par E-prover, vérifications de machine à états et réparation de code, adossées à des binaires compilés en Go avec exécutables Windows prêts à l'emploi.

Préréglage + pack de skills RigorQuant : recherche multi-agents sans surveillance et cloisonnée pour les mathématiques empiriques et computationnelles (économie, finance, portefeuille), avec une batterie de vérifications en quatre parties avant implémentation et une voie d'escalade jacobienne/Lean.

Consultez 64 examens chinois (gaokao/concours de master/CET-4-6/CPA/examen du barreau…) avec un calcul de dates sensible aux règles (2e samedi, 1er dimanche) et des comptes à rebours.

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.

Plugin de mathématiques Manim pour 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.

Planification d'habitudes récurrentes par pur calcul de dates : prochaine occurrence, planning sur période, et conseils de retard.