Plugins

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.

Navigateur Electron visible pour DSH avec une BrowserWindow partagée, des vues de tâches isolées, une passation explicite humain-agent, outils de référence de snapshot et navigation native, pistes d'opération, miniatures de page à la demande, et reprise de session indexée pour une commutation et fermeture d'onglets fiable.

Déplace, archive, restaure, sauvegarde/exporte et importe de manière portable des sessions entre les espaces de travail dans l'interface web DeepSeek Harness.

Accès Tailscale au Web GUI filtré par identité avec dsh toujours lié à loopback : un proxy 127.0.0.1 publié par tailscale serve admet une requête uniquement lorsque la connexion Tailscale qu'il tamponne est autorisée, avec une liste d'autorisation optionnelle par appareil, de sorte que les méthodes /api privilégiées derrière la vérification loopback — Settings, Models, Plugins — répondent sans qu'on dise à dsh de faire confiance à un hôte distant.

Tableau kanban piloté par agent : un tableau par espace de travail, sessions d'agent par tâche, et flux de travail humain/agent gardé (Backlog → À faire → En cours → Revue → Terminé).

Crée et inspecte les espaces de travail locaux de projets d'agents RecoWork via deux outils DSH bornés et une carte d'espace de travail web.

Fournit l'outil see_image pour DSH : envoie un fichier image à un modèle de vision compatible OpenAI configurable et relaie sa description à un modèle texte uniquement.

Serveur MCP intégré permettant à des agents externes (Hermes, Claude Code, etc.) de piloter DeepSeek Harness via StreamableHTTP : exécution de tâches synchrones/asynchrones, un bac à sable de fichiers à trois niveaux, un pont d'approbation adossé au Web, la gestion et la recherche de sessions, et des outils de fichiers confinés à des chemins autorisés.

Ajoute à DeepSeek Harness une barre de chips de phrases rapides configurable, déplaçable et à position persistante, ainsi qu'un menu de phrases déclenché par / avec épinglage par phrase, slash-menu, visibilité de la barre et bascules d'envoi par clic.

Rail de widgets côté droit pour DeepSeek Harness Web UI : statistiques de session en direct, widgets tâche/contexte/carte de chaleur/citation, quota OpenCode Go, mises en page en grille multi-colonnes (1/2/4 colonnes) avec tuiles longues 2x4, une onde de grossissement continue et dimensionnement par instance ; les widgets sont installables, réorganisables et redimensionnables depuis Paramètres > Composants.

Gérez les marchés de plugins DSH basés sur Git, les skills d'agent installés et les hooks Codex optionnels depuis la page de paramètres web.

Joue différents sons configurables pour cinq événements de conversation dans l'interface web DeepSeek Harness : achèvement normal, interruption, erreur, attente d'approbation et succès de réessai automatique ; chaque événement possède son propre réglage audio et son défaut intégré, avec réessai automatique après erreurs utilisant une attente configurable (10-300 s), ainsi qu'une bibliothèque sonore communautaire. Compatible avec DSH 0.1.5-rc.2.

Plugin DSH reliant les agents à Cheat Engine pour le débogage dynamique de la mémoire : analyse, étude des pointeurs, points d'arrêt et hacking de mémoire de jeux.

Plugin Computer Use réservé à Windows pour DeepSeek Harness avec UIA, cua-driver, et vision GLM en option.

Barre de navigation dans la conversation de style touches de piano : une touche par message utilisateur, infobulle d'aperçu au survol, clic pour sauter dans tout l'historique. Plugin dsh officiel à double face, sans modification du code source de dsh.

Gestionnaire de conversations archivées pour DeepSeek Harness : affiche les conversations archivées regroupées par espace de travail, restaurez-les et affichez leurs dossiers de transcriptions.

Migrez les serveurs MCP, compétences, instructions, mémoire et historique de session de Codex (OpenAI Codex CLI / Desktop) vers DeepSeek Harness via un panneau visuel ou une CLI, avec aperçus en simulation et secrets migrés à l'identique.

Lanceur de zone de notification Windows pour dsh web : démarrage en arrière-plan sans console (chaîne VBS/powershell), menu de zone de notification avec ouvrir l’UI / journaux / préréglages d’icône / démarrer à l’ouverture de session / redémarrer Harness, installation et mise à jour en un clic du dsh-plugin-usage-meter fourni, et une partie plugin dsh qui lance la zone avec Harness.

Réécrit la copie chinoise d'un plugin installé sur le marché en anglais via un modèle déjà configuré dans le harness : automatiquement à l'installation du plugin, puis rechargé à chaud. Chaque fichier est traduit en une passe complète, validé par un analyseur réel lorsqu'il existe (node --check pour JavaScript, analyseurs JSON et YAML sinon), puis renvoyé au modèle avec l'erreur jusqu'à trois tentatives de réparation ; les fichiers de plus de 48 Ko, ou qui ne s'analysent jamais, basculent vers une passe par plages de lignes comparant chaque ligne renvoyée à l'originale pour la structure. Les phrases de déclenchement et les tables de locale peuvent être préservées au lieu d'être traduites, et l'original intact est conservé à côté du fichier en .zh.bak.

Suite mobile distante : plugin d'appariement Host avec offre QR, Host Gateway loopback, Tunnel chiffré et WebRTC Direct en même LAN, plus un APK Android dans ce dépôt.

Connecte votre compte GitHub aux agents DSH depuis le bouton GitHub du composer (OAuth device flow ou personal access token) et leur permet d'appeler l'API GitHub via l'outil github_api.

Registre nommé de sous-agents : gérez les entrées de rôle (modèle, persona, filtre d’outils, profondeur, mode arrière-plan) depuis une page de paramètres rechargée à chaud ; le modèle en choisit un avec list_subagents et l’envoie par id avec delegate — au premier plan, en arrière-plan ou reprenable.

Recherche approfondie comme mode agent : une unique boucle révisée qui planifie, recherche dans des rondes parallèles adaptatives pilotées par les lacunes que les chercheurs eux-mêmes déclarent, synthétise un rapport cité puis le relit de manière contradictoire, au lieu d'un script que le modèle réécrit à chaque appel. Les questions que le budget de rondes n'a jamais atteintes sont nommées dans le rapport plutôt qu'écartées.

Hooks de cycle de vie pilotés par configuration, y compris l'injection de contexte : déclarez event, handler et outcome en YAML, où le handler est un outil in-harness (MCP inclus), une commande shell ou un endpoint HTTP, et l'outcome est model-visible context, un denied tool call, ou fire-and-forget.