Plugins

Le bundle DeepSeek Harness enregistre une compétence transformant la production longue (articles académiques, analyses sectorielles, commentaires d'affaires) en pipeline à 9 rôles : scouts T1 littérature / T2 données / T3 cas en parallèle, T4 analyste, T5 rédacteur, T6 compagnon critique, T7 auditeur, T8 finaliseur, T9 évaluateur par les pairs exécutés par le coordinateur. Sur 6 phases, vérification triangulaire, M-gate de 23 contrôles, audit G0-G14 incluant gate de traçabilité IA, notation peer-review avec correspondance de revues, et 4 points de contrôle humains. Installation avec `dsh plugin add lunheng-article-pipeline` (package.json#dsh.bundle.patch plus lib/index.js) ; fournit fiches de rôles T1-T9, modèles et 11 scripts de vérification sans dépendance, avec READMEs en cinq langues.

Plugin de vérification d'objectifs basée sur des preuves pour DeepSeek Harness. Verrouille les objectifs via /ultragoal et vérifie l'achèvement par rapport aux codes de sortie des commandes et aux artefacts générés, empêchant le modèle de signaler faussement l'achèvement des tâches.

Vérifications de santé pour les plugins DSH : vérification manifest/patch/entry/build/pack/install, plugin_check appelable par modèle, détection de host-shadowing + BOM de profil, diagnostics d'environnement, et pré-vol anti-empoisonnement.

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.

Compétence de vérification d'affirmations qui confronte documents de conception et plans aux faits du code, en escaladant les affirmations comportementales vers une vérification exécutable par primitives logiques pour machines à états et modèles de données, avec régression avant/après, contraintes de domaine et exploration des risques de concurrence.

Vérification LLM fine pour les agents DSH : récompenses par paires sur les logprobs de tokens de score, sélection best-of-N par Probabilistic Pivot Tournament, et suivi de progression par étape.

Flux de travail d'ingénierie prédéfinis pour DeepSeek Harness : un outil dev_task qui contrôle les transitions d'étape, les artefacts, la vérification, la revue et la portée des commits, plus un atelier web pour installer des skills et des règles de projet ou d'utilisateur.

Détecteur statique et de fumée en bac à sable sans dépendance pour les plugins DSH : portes de structure de paquet, analyse du contrat cordis, test de fumée headless sans clé et vérifications de référencement dans l'écosystème.

Vérification des références pour DeepSeek Harness (参考文献真实性检查器) : l'outil de modèle reference_checker vérifie la bibliographie d'un article (.pdf/.bib/.tex/.txt ou texte collé) par rapport à Crossref, OpenAlex et arXiv, rapporte found / partial / not_found / error par entrée et émet des citations corrigées dans le style d'entrée (APA, GB/T 7714, IEEE, Vancouver, MLA, Chicago, Harvard, ACS, BibTeX).

Place de marché ouverte de plugins : recherche en direct du topic dsh-plugin sur GitHub avec vérification du package.json par dépôt (badges de manifeste dsh.bundle/dsh.client et un filtre vérifiés uniquement), installations npm-first avec contrôles anti-squatting de même source, détection des mises à jour et cinq outils d'agent pour une utilisation headless.

Boutique de plugins : catalogue faisant autorité npm + liste sélectionnée awesome (550+ plugins, 11 catégories), vérification qualité par champ dsh, installation officielle en un clic via `dsh plugin add/remove`, accès depuis la barre latérale + les réglages.

Écrit des résumés locaux au format JSONL du nombre d'outils par tour et de signaux de vérification approximatifs, sans stocker les prompts, les arguments d'outils ni le texte des résultats.

Passerelle de canal Feishu (Lark) à sécurité positive (fail-closed) : discutez avec un bot et récupérez les réponses de l'agent dsh — avec approbation d'outils human-in-the-loop optionnelle (cartes Allow/Deny avant chaque appel bash, délai d'expiration fail-closed). Intégration utilisant exclusivement le SDK Python officiel (version figée) ; liste blanche à refus par défaut, vérification de signature/horodatage/rejeu des webhooks, sessions persistantes par discussion ; test de compatibilité quotidien avec le dernier SDK ; documentation bilingue.

Plugin DeepSeek Harness qui garde honnêtes les affirmations au vert de l'agent : les exécutions de vérification deviennent des reçus, les modifications sont suivies, et un « tous les tests passent » périmé, échoué ou masqué est transformé en nouvelle exécution plutôt qu'en fin de tâche.

Garde de fraîcheur pour les affirmations de l'agent sur tests, typecheck, lint et build : chaque exécution de vérification devient un reçu sur tools/post-execute, les éditions de fichiers sont suivies, et à agent/turn-stopping une affirmation dont le dernier reçu est obsolète, échoué ou illisible déclenche une étape supplémentaire nommant le reçu et les fichiers édités depuis.

Lance 3 ou 5 candidats coding-agent dans des Git worktrees détachés, valide leurs patches via les commandes du projet, ne classe que les candidats réussis et exige une approbation séparée avant d'appliquer le gagnant.

Onglet Installer dans Paramètres → Plugins : installez, mettez à jour et supprimez n'importe quel plugin par spécification npm, `github:user/repo` ou chemin local via le même chemin `dsh plugin add` CLI ; vérifications de mise à jour par rapport au dernier npm ou à GitHub HEAD avec une protection vers la rétrogradation et une vérification de la version résolue, un contournement du temps de refroidissement de la version pnpm 11 à chaque ajout/suppression et un redémarrage du service via le shell de bureau DSH ou un processus de relais sous `dsh web` autonome.

Analyse d'exécution de session : étapes, appels d'outils, échecs, actions répétées, utilisation des tokens et signaux de vérification, restitués sous forme de rapports texte/Markdown/JSON.

Mène un débat thèse-antithèse-sceau dont le verdict est calculé à partir des codes de sortie réels des commandes et du nombre de cas, jamais à partir de la prose de l'agent.

Skill de méthodologie de clonage de sites web : un arbre de décision privilégiant la source réelle couvrant les sites statiques, les sites de contenu React/Vue/Next et les fronts riches en WebGL/Canvas, la vérification obligatoire du code exécutable cité d'analyses d'IA de seconde main, et 13 scripts Node sans dépendances pour la reconnaissance de navigateur via CDP, la collecte d'assets/polices, le crawling de routes, la chasse aux sourcemaps et l'audit par différence de pixels.

Vérification de rapport complet pour les rapports scientifiques : contrôles par affirmation contre Crossref, PubMed (analyse des rétractations), ClinicalTrials.gov, UniProtKB, GEO/SRA et PatentsView, accessibilité des URL et concordance des titres, sens affirmation-vs-source à température 0, et un registre d'audit durable et redémarrable avec un rapport annoté.

Gérez des hôtes Windows via WinRM depuis un panneau web et sept outils d'agent avec exécution PowerShell, contrôle des services et processus, transfert de fichiers SMB / par blocs avec vérification SHA-256 et exécution en cluster.

Place de marché unifiée de plugins conçue pour le shell DSH Desktop (EAC), regroupant le catalogue organisé, l'écosystème de plugins dsh sur GitHub et le registre npm en une seule vitrine, avec listes blanches de sources, vérifications préalables de conflits, vérification d'installation en démarrage d'essai, mises à jour manuelles/par lots/automatiques et gestion de packs de fonctionnalités .dshpack.

Exporte et importe la configuration de DeepSeek Harness entre machines sous forme d'archives .dshmig de même OS, avec masquage des identifiants, vérification et rollback.