Plugins

Renderiza a saída HTML do agente como interface real na GUI web do DeepSeek Harness, com cartões visuais, matemática KaTeX, diagramas Mermaid, fontes open source integradas e injeção de especificações de design.

Workflow multi-agente para concursos de modelagem matemática: o preset "UltraMath" executa um problema desde leitura até framework, derivação, codificação, verificação, artigo e revisão, além de 4 presets de papel de estágio único (matemático, engenheiro, escritor, revisor) e 33 documentos de skill de biblioteca de modelos.

Instala quatro presets de pesquisa matemática multiagente para o DSH: v2 (pipeline guiado por probabilidade com debate entre vários verificadores), v3 (base de conhecimento Markdown em estilo de artigo com um agente planejador e uma biblioteca de métodos reutilizável), v4 (residentes persistentes auto-organizados que trocam mensagens e se reúnem) e v5 (um instituto de pesquisa com um acadêmico que decompõe e atribui o trabalho, pesquisadores votantes, trabalhadores temporários, chat em grupo e um quadro de tarefas compare-and-set); os quatro suportam retomada por checkpoint, intervenção humana e um interruptor opcional de verificação formal em Lean (off/encourage/require), cuja prova aprovada transforma o voto em uma checagem de fidelidade das afirmações Lean.

Um conjunto de skills de modelagem matemática com gate para o DeepSeek Harness: um pipeline de cinco estágios com gates, padrões de escrita de artigos de premiação, análise de sensibilidade, diagnóstico estatístico e um preset de competição.

Avaliador seguro de expressões matemáticas, com um parser recursivo descendente sem dependências.

Preset RigorQuant + pacote de skills: pesquisa multiagente isolada e não supervisionada para matemática empírica e computacional (economia, finanças, portfólio), com uma bateria de verificação em quatro partes antes da implementação e uma via de escalonamento jacobiano/Lean

Math Agent Framework para DeepSeek Harness: motor de derivação simbólica (CES / formas quadráticas / ODE / PDE), verificação com SymPy, provas formais verificadas pelo compilador do Lean 4 e verificação adversarial multiagente no estilo QED, exposto como ferramentas DSH nativas por meio de um shell TS que faz a ponte para um motor Python. Requer clonar o repositório math-agent-framework e executar `pip install -r requirements.txt`, com MATH_AGENT_HOME apontando para a raiz do repositório. Cada resultado carrega procedência (versões do motor, seed, tolerâncias) e é marcado como dados não confiáveis.

Kit de ferramentas de dados financeiros para agentes DSH: formatação de números e moedas (incluindo unidades chinesas wan/yi), cálculos de retorno e CAGR, rácios de avaliação e rentabilidade, PV/FV, métricas de risco e uma lista de verificação de qualidade de dados.

Registra o servidor MCP do MathWorks MATLAB/Simulink em um perfil dsh, para que as sessões de agente obtenham ferramentas mcp__matlab__* para executar código MATLAB e ler, editar e testar modelos Simulink.

Gere relatórios HTML interativos e autocontidos a partir de Markdown, tabelas, gráficos, mapas de províncias da China, fluxogramas, fórmulas matemáticas e tabelas com drill-down — um plugin do DeepSeek Harness (dsh)

Consulta 64 exames chineses (Gaokao/exame de admissão à pós-graduação/CET-4/6/CPA/exame da OAB chinesa…) com cálculo de datas baseado em regras (2º sábado, 1º domingo) e contagens regressivas

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.

Portões de verificação com computação real: simplificação matemática, provas lógicas, validação de regex, FOL via E-prover, verificações de máquina de estados e reparo de código, apoiados em binários compilados em Go com executáveis pré-compilados para Windows

Bridges a local MATLAB MCP server into DSH: evaluate MATLAB code, run .m scripts and tests, and inspect installed toolboxes via mcp__matlab__* tools. Requires MATLAB and the MathWorks MATLAB MCP Server binary, and a path edit after install — the plugin on its own registers no tools.

Competition math (IMO/Putnam/USAMO/AIME) solved with a pure-reasoning pass, an adversarial verifier in a fresh subagent context, and calibrated confidence output (high / medium / honest "no confident solution"); optional LaTeX-to-PDF rendering.

Plugin de matemática Manim para o deepseek harness

Three tools for DeepSeek Harness: typeset LaTeX formulas into images, draw mathematical figures from a declarative spec, and convert a formula or SVG into an image ready to embed in a document.

NumPy/SciPy 科学计算工具 — 以 DSH Cordis 插件形式集成，模型通过 math_compute 工具发起任意 NumPy/SciPy 运算

Danus-native DSH plugin suite: verifier-gated mathematical proof-search orchestration (fact graph, role-gated tools, cold-start verifier, worker swarm, orchestration tools, heartbeats).

Local-life toolkit for DSH agents: budget planning, bill splitting, unit-price and discount math, common unit conversions (jin/li/chi, C/F, L/gallon), and trip checklists.

Agendamento de hábitos recorrentes por cálculo puro de datas: próxima ocorrência, agendamentos por intervalo e avisos de atraso