Plugins

Restitue la sortie HTML de l'agent en véritable interface dans l'interface web DeepSeek Harness, avec cartes visuelles, mathématiques KaTeX, diagrammes Mermaid, polices open source intégrées et injection de spécifications de design.

Workflow multi-agents pour concours de modélisation mathématique : le preset « UltraMath » exécute un problème de la lecture au framework, dérivation, codage, vérification, papier et revue, plus 4 presets de rôle à étape unique (mathématicien, ingénieur, rédacteur, relecteur) et 33 docs skill de bibliothèque de modèles.

Installe quatre presets de recherche mathématique multi-agents pour DSH : v2 (pipeline guidé par les probabilités avec débat multi-vérificateurs), v3 (base de connaissances Markdown façon article avec un agent planificateur et une bibliothèque de méthodes réutilisable), v4 (résidents persistants auto-organisés qui s'écrivent et se réunissent) et v5 (un institut de recherche avec un académicien qui décompose et attribue le travail, des chercheurs votants, des intérimaires, un chat de groupe et un tableau de tâches compare-and-set) ; les quatre gèrent la reprise sur point de contrôle, l'intervention humaine et un interrupteur optionnel de vérification formelle Lean (off/encourage/require) dont la preuve validée transforme le vote en contrôle de fidélité des énoncés Lean.

Une suite de compétences de modélisation mathématique à accès contrôlé pour DeepSeek Harness : un pipeline en cinq étapes avec des jalons de validation, des schémas de rédaction pour articles primés, une analyse de sensibilité, un diagnostic statistique et un préréglage pour concours.

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

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.

Math Agent Framework pour DeepSeek Harness : moteur de dérivation symbolique (CES / formes quadratiques / ODE / PDE), vérification SymPy, preuves formelles vérifiées par le compilateur Lean 4 et vérification adverse multi-agents de style QED, exposés comme outils DSH natifs via un shell TS faisant pont vers un moteur Python. Nécessite le clonage du dépôt math-agent-framework et `pip install -r requirements.txt`, avec MATH_AGENT_HOME pointant vers la racine du dépôt. Chaque résultat comporte une traçabilité (versions des moteurs, graine, tolérances) et est marqué comme données non fiables.

Boîte à outils de données financières pour les agents DSH : formatage des nombres et des devises (y compris les unités chinoises wan/yi), calculs de rendement et CAGR, ratios de valorisation et de rentabilité, PV/FV, métriques de risque et liste de contrôle de la qualité des données.

Enregistre le serveur MCP MathWorks MATLAB/Simulink dans un profil dsh, afin que les sessions d'agent obtiennent des outils mcp__matlab__* pour exécuter du code MATLAB et lire, éditer et tester des modèles Simulink.

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

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.

Suite rigoureuse de recherche mathématique ouverte : quatre agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) pour la démonstration de théorèmes avec audit adversarial, gestion de programme de recherche, orchestration de pipeline et audit de formalisation Lean 4 ; tests vérifiés par CI et synchronisation amont mécanique.

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.

Bridges a local MATLAB MCP server into DSH: evaluate MATLAB code, run .m scripts and tests, and inspect installed toolboxes via mcp__matlab__* tools. Requires MATLAB and the MathWorks MATLAB MCP Server binary, and a path edit after install — the plugin on its own registers no tools.

Competition math (IMO/Putnam/USAMO/AIME) solved with a pure-reasoning pass, an adversarial verifier in a fresh subagent context, and calibrated confidence output (high / medium / honest "no confident solution"); optional LaTeX-to-PDF rendering.

Plugin de mathématiques Manim pour DeepSeek Harness.

Three tools for DeepSeek Harness: typeset LaTeX formulas into images, draw mathematical figures from a declarative spec, and convert a formula or SVG into an image ready to embed in a document.

NumPy/SciPy 科学计算工具 — 以 DSH Cordis 插件形式集成，模型通过 math_compute 工具发起任意 NumPy/SciPy 运算

Danus-native DSH plugin suite: verifier-gated mathematical proof-search orchestration (fact graph, role-gated tools, cold-start verifier, worker swarm, orchestration tools, heartbeats).

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.