Plugins

Das DeepSeek Harness-Bündel registriert eine Fertigkeit, die lange Produktionen (wissenschaftliche Arbeiten, Branchenanalysen, Wirtschaftskommentare) in eine 9-Rollen-Pipeline verwandelt: T1 Literatur- / T2 Daten- / T3 Fall-Scouts parallel, T4 Analyst, T5 Autor, T6 kritischer Begleiter, T7 Prüfer, T8 Finalisierer, T9 Peer-Reviewer vom Koordinator ausgeführt. Über 6 Phasen mit dreieckiger Evidenzprüfung, 23-Prüfungen-M-Gate, G0-G14-Audit inkl. chinesischem KI-Tracing-Gate, Peer-Review-Bewertung mit Journal-Matching und 4 menschlichen Checkpoints. Installation mit `dsh plugin add lunheng-article-pipeline` (package.json#dsh.bundle.patch plus lib/index.js-Eintrag); liefert Rollenkarten für T1-T9, Vorlagen und 11 Verifizierungsskripte ohne Abhängigkeiten, mit fünfsprachigen READMEs.

Evidenzbasiertes Zielverifizierungs-Plugin für DeepSeek Harness. Sperrt Ziele über /ultragoal und prüft den Abschluss anhand von Befehls-Exit-Codes und erzeugten Artefakten, damit das Modell den Aufgabenabschluss nicht fälschlich meldet.

Gesundheitsprüfungen für DSH-Plugins: Manifest/Patch/Entry/Build/Pack/Install-Verifikation, modellaufrufbares plugin_check, Profil-Host-Shadowing + BOM-Erkennung, Umgebungsdiagnose und Poison-Preflight.

Math Agent Framework für DeepSeek Harness: Engine für symbolische Herleitung (CES / quadratische Formen / ODE / PDE), SymPy-Verifikation, vom Lean-4-Compiler verifizierte formale Beweise sowie QED-artige multi-agenten adversarische Verifikation, bereitgestellt als native DSH-Werkzeuge über eine TS-Shell, die eine Python-Engine anbindet. Erfordert das Klonen des math-agent-framework-Repositorys und `pip install -r requirements.txt`, wobei MATH_AGENT_HOME auf den Repository-Stamm zeigt. Jedes Ergebnis enthält Provenienzangaben (Engine-Versionen, Seed, Toleranzen) und ist als nicht vertrauenswürdige Daten gekennzeichnet.

Fähigkeit zur Aussagenprüfung, die Designdokumente und Pläne gegen Code-Fakten abgleicht und Verhaltensaussagen auf ausführbare Logik-Primitiv-Verifikation für Zustandsmaschinen und Datenmodelle hochstuft, mit Vorher/Nachher-Regression, Domänenbeschränkungen und Mining von Nebenläufigkeitsrisiken.

Feinkörnige LLM-Verifikation für DSH-Agenten: paarweise Rewards über Score-Token-Logprobs, Probabilistic-Pivot-Tournament Best-of-N-Auswahl und Fortschrittstracking pro Schritt.

Vordefinierte Engineering-Workflows für DeepSeek Harness: ein dev_task-Tool, das Phasenübergänge, Artefakte, Verifikation, Review und Commit-Umfang kontrolliert, plus eine Web-Workbench zum Installieren von Projekt- oder Nutzer-Skills und -Regeln.

Abhängigkeitsfreier statischer und Sandbox-Smoke-Detektor für DSH-Plugins: Paketstruktur-Gates, cordis-Vertrags-Scans, schlüsselfreier Headless-Smoke-Test und Prüfungen der Ökosystem-Listung.

Referenzüberprüfung für DeepSeek Harness (参考文献真实性检查器): Das reference_checker-Modelltool prüft die Bibliografie einer Arbeit (.pdf/.bib/.tex/.txt oder eingefügter Text) gegen Crossref, OpenAlex und arXiv, meldet found / partial / not_found / error pro Eintrag und gibt korrigierte Zitate im Eingabestil aus (APA, GB/T 7714, IEEE, Vancouver, MLA, Chicago, Harvard, ACS, BibTeX).

Offener Plugin-Marktplatz: Live-Suche im GitHub-Topic dsh-plugin mit package.json-Verifizierung pro Repository (Manifest-Badges dsh.bundle/dsh.client und ein Nur-verifizierte-Filter), npm-first-Installationen mit Anti-Squatting-Prüfungen gleicher Quelle, Update-Erkennung und fünf Agent-Tools für Headless-Betrieb.

Plugin-Store: maßgeblicher npm-Katalog + kuratierte Awesome-Liste (550+ Plugins, 11 Kategorien), Qualitätsprüfung über das dsh-Feld, offizielle Ein-Klick-Installation via `dsh plugin add/remove`, Zugang über Sidebar und Einstellungen.

Schreibt lokale JSONL-Zusammenfassungen von Tool-Aufrufzahlen je Runde und groben Verifizierungssignalen, ohne Prompts, Tool-Argumente oder Ergebnistext zu speichern.

Fail-closed-Brücke für den Feishu(Lark)-Kanal: mit einem Bot chatten und Antworten des dsh-Agenten erhalten — mit optionaler Human-in-the-Loop-Werkzeugfreigabe (Allow/Deny-Karten vor jedem Bash-Aufruf, Fail-closed-Timeout). Integration ausschließlich mit dem offiziellen Python-SDK (fest gepinnt); standardmäßig ablehnende Whitelist, Webhook-Signatur-/Zeitstempel-/Replay-Prüfung, chatweise klebrige Sitzungen; tägliche Kompatibilitätsprüfung mit dem neuesten SDK; zweisprachige Dokumentation.

DeepSeek Harness-Plugin, das die grünen Behauptungen des Agenten ehrlich hält: Verifikationsläufe werden zu Belegen, Änderungen werden nachverfolgt und ein veraltetes, fehlgeschlagenes oder verschleiertes „alle Tests bestehen“ wird in einen erneuten Lauf statt in einen Abschluss verwandelt.

Frische-Gate für die Test-, Typecheck-, Lint- und Build-Behauptungen des Agenten: Jeder Verifikationslauf wird zu einem Beleg in tools/post-execute, Dateibearbeitungen werden verfolgt, und bei agent/turn-stopping treibt eine Behauptung, deren jüngster Beleg veraltet, fehlgeschlagen oder unlesbar ist, einen weiteren Schritt an, der den Beleg und die seither bearbeiteten Dateien benennt.

Startet 3 oder 5 Coding-Agent-Kandidaten in entkoppelten Git-Worktrees, validiert deren Patches mit Projektkommandos, rankt nur passende Kandidaten und verlangt eine separate Freigabe, bevor der Gewinner angewendet wird.

Installations-Tab unter Einstellungen → Plugins: Installieren, Aktualisieren und Entfernen beliebiger Plugins per npm-Spezifikation, `github:user/repo` oder lokalem Pfad über denselben CLI-Pfad `dsh plugin add`; Aktualisierungsprüfungen gegen npm latest oder GitHub HEAD mit Downgrade-Schutz und Prüfung der aufgelösten Version, ein pnpm-11-Release-Cooldown-Bypass bei jedem Hinzufügen/Entfernen sowie Dienstneustart über die DSH-Desktop-Shell oder einen Relay-Prozess unter eigenständigem `dsh web`.

Analytik zur Sitzungsausführung: Schritte, Tool-Aufrufe, Fehlschläge, wiederholte Aktionen, Token-Nutzung und Verifizierungssignale, dargestellt als Text-/Markdown-/JSON-Berichte.

Führt eine These-Antithese-Siegel-Debatte, deren Urteil aus echten Exit-Codes von Befehlen und Fallzahlen berechnet wird, nie aus Agentenprosa.

Skill für Website-Klon-Methodik: ein Entscheidungsbaum mit Fokus auf echte Quellen, der statische Sites, React/Vue/Next-Inhaltssites und WebGL/Canvas-lastige Frontends abdeckt, verpflichtende Verifikation von ausführbarem Code, der aus Zweitanalyse-KI-Ergebnissen zitiert wird, und 13 abhängigkeitsfreie Node-Skripte für CDP-Browser-Aufklärung, Asset-/Font-Ernte, Route-Crawling, Sourcemap-Jagd und Pixel-Diff-Audit.

Ganzbericht-Verifikation für wissenschaftliche Berichte: Prüfung pro Aussage gegen Crossref, PubMed (Retraktions-Scan), ClinicalTrials.gov, UniProtKB, GEO/SRA und PatentsView, URL-Erreichbarkeit und Titelübereinstimmung, Aussage-vs-Quelle-Bedeutung bei Temperatur 0 sowie ein dauerhaftes, neu startbares Audit-Ledger mit annotiertem Bericht.

Verwalten Sie Windows-Hosts über WinRM mittels eines Web-Panels und sieben Agent-Tools mit PowerShell-Ausführung, Dienst- und Prozesssteuerung, SMB- / segmentierter Dateiübertragung mit SHA-256-Verifizierung und Cluster-Ausführung.

Einheitlicher Plugin-Marktplatz für die DSH-Desktop-(EAC)-Shell, der den kuratierten Katalog, das dsh-Plugin-Ökosystem auf GitHub und die npm-Registry in einem einzigen Shop vereint, mit Quellen-Whitelisting, Konflikt-Vorprüfungen, Test-Boot-Installationsprüfung, manuellen/Stapel-/automatischen Updates und .dshpack-Feature-Paket-Verwaltung.

Export und Import der DeepSeek-Harness-Konfiguration zwischen Maschinen als gleich-OS .dshmig-Archive, mit Credential-Schwärzung, Verifikation und Rollback.