Plugins

Uma bancada de trabalho IDE acoplável para a Web UI do DSH: um terminal acelerado por GPU (renderizador restty sobre um PTY Rust), um editor CodeMirror, um explorador de ficheiros, notas, um navegador em sandbox e pesquisa de conteúdo com ripgrep.

Página Skill Manager no painel de definições do DSH: navegue por skills de sistema/utilizador/workspace/predefinidas, expanda uma skill para ver a respetiva árvore de ficheiros, veja e edite ficheiros, importe skills de um zip e exporte-as ou elimine-as (skills de sistema são só de leitura).

Transforma o skill iterate em um harness autônomo de circuito fechado: planejar, revisão paralela, correções atômicas, validação, loop e parada automática — além de um modo dry-run apenas de revisão e uma meta-review que audita o relatório e emite um relatório final de revisão.

Suíte rigorosa de pesquisa matemática aberta: quatro agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) para provar teoremas com auditoria adversarial, gestão de programa de pesquisa, orquestração de pipeline e auditoria de formalização em Lean 4; testes verificados por CI e sincronização mecânica com upstream.

Disciplina de desenvolvimento guiada por especificação para dsh: cinco skills keel (anchor/spec/probe/build/audit), três ferramentas de revisão e seis modelos de spec impõem spec antes de código, verificação de suposições e controle de escopo.

Inspeção de .uasset do Unreal Engine (resolve/registry/load) e edição restrita de nós Blueprint via o UE Python integrado.

Bancada de pesquisa de vulnerabilidades com foco em evidências para o DeepSeek Harness: visões de auditoria nativas, 29 ferramentas OMV, descobertas Evidence.v1, execuções reproduzíveis, fluxos Campaign e evidências PoC isoladas.

Revisa todos os arquivos que o agente escreveu em uma sessão, a partir do cabeçalho da sessão, com hunks por arquivo e escritas recusadas contadas separadamente das alterações.

Bloco de escrita Markdown com escopo de sessão encaixado ao lado da conversa, com modos de edição/visualização, reescritas de IA baseadas em seleção, revisão de diferenças, desfazer e recuperação de rascunhos.

Gerenciador de skills para a GUI web do dsh: uma entrada na barra lateral e um painel listando as skills visíveis para a sessão atual (divididas em grupos globais/locais), com interruptores individuais de ativar/desativar, criar/importar/editar/excluir. Desativar uma skill a remove do mod

Geração estável e editável de PPTX para agentes de IA — entrada em IR semântica, saída em DrawingML nativo

Kit de operação com foco em evidências: seis ferramentas somente leitura (catálogo de capacidades, planos de workflow em etapas, leitor de skills empacotadas, busca limitada em memória local, auditoria de releases do repositório, checklist de release) e cinco skills empacotadas — planeja e audita, nunca escreve remotamente.

Kit de ferramentas de Medicina Tradicional Chinesa: diagnóstico pelos oito eixos e consulta de pares de ervas

Memória local limitada com controle de autoridade CBDC: afirmações em SQLite + FTS5, recuperação delimitada com decisões explicáveis de usar/verificar/ignorar e trilha de auditoria completa, comandos /memory, injeção de até 3 afirmações/1200 caracteres por chamada, sem chamada extra ao modelo

Edite seções de prompt do usuário e do sistema embutido com pré-visualização ao vivo

A planner board as a third tab beside chat and trajectory: a Monday-first month calendar above per-day cards holding title, note, times, three importance levels and a completion checkbox. Plans repeat daily, weekly or on weekdays with an optional end date; editing or deleting asks this occurrence versus the whole series; completion is tracked per day; one button clears a day while only skipping recurrent series. Five model tools let the agent read, write, delete, clear and undo plans in conversation.

DeepSeek Harness plugin that wraps @stardeckai/lgtm — a Jev-powered linter for tests that pass but prove nothing. Ships the CLI as a dependency, reuses the TypeSafe credential stored in DSH, and exposes lgtm_audit / lgtm_status to the agent.

Customize DeepSeek Harness without forking it—load, edit, manage, and hot-reload trusted JavaScript and TypeScript userscripts from the Web UI.自定义 DeepSeek Harness，无需 Fork——直接在 Web UI 中加载、编辑、管理并热重载可信的 JavaScript 和 TypeScript 用户脚本。

Settings-UI editor that assigns per-teammate model and reasoning-effort rules for DSH native agent teams, resolved at spawn time by wrapping SubagentRuntime.startContinuable. No official files are modified.

Build PowerPoint decks from a brief: plan and storyboard gates, per-page authoring through pptwise and ppt-master, a design-profile pass, page-image snapshots with a render audit, and a tool that hands those pages to an image-capable model for review.

Manage the DeepSeek Harness skill catalog from Settings: list what DSH actually resolves, enable or disable a skill by policy without touching its source file, read and edit SKILL.md, and create, import, or permanently delete skills.

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-to-skill pairing meta-skill with a laziness ladder for minimal loading, a user-editable routing table, and a quarantine, SkillSpector scan, human-approval install flow.

Security-audit facts AI coding agents cannot compute, plus a verdict gate: euthyna history attributes deleted lines to commits and flags those from security fixes (--origins finds the first introducer), euthyna coverage reports which changed symbols no test ever invoked, and euthyna gate checks each finding against six gates, downgrading any without evidence to an observation.