Plugins

Moniteur d'utilisation du forfait OpenCode Go pour DeepSeek Harness : quota en temps réel sur 5 h glissantes / hebdomadaire / mensuel dans un dock web flottant.

Permet à un agent DeepSeek Harness local d'utiliser BailingHub pour interroger des données, mettre à jour des enregistrements et exécuter des actions autorisées dans une boutique en ligne, un SaaS ou un autre système d'administration.

Plugin de crédits DeepSeek Harness : bascule selon le modèle actuel entre le solde officiel / l'usage de l'abonnement OpenCode Go, l'estimation de la session en cours, la consommation cumulée inter-sessions et les paramètres de visualisation.

Plugin de domaine de développement Rust pour DeepSeek Harness (dsh) : pyramide de vérification fmt→clippy→build+test→miri+audit(+semver) en tant qu'outils exposés au modèle + gouvernance au niveau du graphe (8 règles anti-Goodhart, dont densité de #[allow] / tests supprimés, blind-spot via Cargo.toml et pub

Plugin de domaine de développement noyau Linux pour DeepSeek Harness (dsh) : pyramide de vérification L1-L4 en tant qu'outils exposés au modèle + gouvernance au niveau du graphe (anti-Goodhart / blind-spot / patch-conflict) + contrat AGENTS.md comme section de prompt système. JS pur, aucune étape de build.

Plugin DeepSeek Harness pour SCNet HPC : configuration SSH, jobs Slurm CPU/DCU, sondage du cluster, diagnostic des nœuds de calcul et conseils Hygon DCU/DTK.

Arcade de baleines flottant et local au navigateur avec trois jeux de score et un Gomoku sur le thème de l'océan pour les pauses en attendant l'agent.

Gestionnaire de plugins dans le web pour DeepSeek Harness : liste de plugins catégorisée, ensembles prédéfinis avec bascule en un clic, import/export et retour arrière automatique en cas d'échec, et marché de plugins avec installation en un clic.

Audit CVE/chaîne d'approvisionnement en direct des dépendances du projet de votre espace de travail (npm/pip/go), soutenu par OSV.dev, avec un outil cve_audit et une re-analyse automatique optionnelle lors des changements de lockfile.

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.

Boîte à outils de vision pour DeepSeek texte seul : outil `vision` appelable par le modèle, adaptateurs wrappers pour deepseek/opencode-go (v4 flash/pro), quota Antigravity IDE (default, flash/pro) / tout VLM compatible OpenAI / Gemini / canaux Ollama locaux, mémoire de preuves avec réhydratation par compactage, cache de hachage de contenu et panneau client bilingue.

Outils de citation pour agents : recherche DOI exacte, recherche bibliographique Crossref, formats GB/T 7714 / APA / MLA / Chicago, génération BibTeX, validation DOI à concurrence bornée et auto-vérification de l’état de santé.

Widget flottant affichant en temps réel l'utilisation de l'abonnement OpenCode Go (glissante/hebdomadaire/mensuelle) pour chaque clé API, avec alertes de limite de débit et découverte automatique du pool de clés.

Pilule de solde OpenCode Go à l'extrémité droite de la rangée d'outils du compositeur : quota restant roulant/hebdomadaire/mensuel directement depuis le point de terminaison d'utilisation Zen, avec détail au survol et coloration d'avertissement/danger.

Adaptateur de fournisseur Command Code Go pour dsh : scanne dynamiquement le catalogue de modèles du plan Go et sert /alpha/generate via la jonction LLM du harness.

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.

Zero-token DuckDuckGo search provider for the DeepSeek Harness (DSH) web seam — local headless browser, no API key, no model billing

OpenCode gateway provider for DeepSeek Harness: the Zen pay-as-you-go plan and the Go subscription, with their settings UI

macOS desktop launcher with an installation skill: starts or reuses the local DeepSeek Harness web service and opens it in Google Chrome, with a transparent character and thought bubble icon.

Dependency tree summaries: npm / pip / cargo.

21 read-only lifecycle governance tools in one self-contained DSH plugin: task tiering, state/plan/evidence validation, gate precheck and aggregation, release/install audits, context and progress analysis, critical path, resume reconciliation, and a mutation preview that always denies execution. Installs from npm as @240xu/dsh-tech-lead.

Task monitor plus remote chat for DeepSeek Harness. Read sessions, background jobs, subagents, goal rounds, workflows and pending approvals from a phone-friendly page, and talk to any session from it: streamed replies, tool-call progress, stop at any time, switch sessions and models. Also ships a GUI sidebar panel.

Go (weiqi) review coach: parses SGF records, backfills winrate and score analysis with a bundled KataGo engine, explains the costly moves in the chat, and writes the commentary back into an SGF copy; a web panel shows the board with problem moves, AI choices and variations.