Plugins

Renderiza la salida HTML del agente como interfaz real en la GUI web de DeepSeek Harness, con tarjetas visuales, matemáticas KaTeX, diagramas Mermaid, fuentes de código abierto integradas e inyección de especificaciones de diseño.

Flujo de trabajo multi-agente para concursos de modelado matemático: el preset "UltraMath" ejecuta un problema desde la lectura hasta el marco, derivación, codificación, verificación, paper y revisión, además de 4 presets de rol de una sola etapa (matemático, ingeniero, redactor, revisor) y 33 documentos de skill de biblioteca de modelos.

Instala cuatro presets de investigación matemática multiagente para DSH: v2 (pipeline guiado por probabilidad con debate entre varios verificadores), v3 (base de conocimiento Markdown estilo artículo con un agente planificador y una biblioteca de métodos reutilizable), v4 (residentes persistentes autoorganizados que se escriben y se reúnen) y v5 (un instituto de investigación con un académico que descompone y asigna el trabajo, investigadores que votan, trabajadores temporales, chat grupal y un tablero de tareas compare-and-set); los cuatro admiten reanudación desde checkpoint, intervención humana y un interruptor opcional de verificación formal en Lean (off/encourage/require) cuya prueba superada convierte el voto en una comprobación de fidelidad de los enunciados Lean.

Un conjunto de habilidades de modelado matemático con compuerta para DeepSeek Harness: una canalización de cinco etapas con compuertas, patrones de redacción de artículos premiados, análisis de sensibilidad, diagnóstico estadístico y un preset de concurso.

Evaluador seguro de expresiones matemáticas, con un parser de descenso recursivo sin dependencias.

Preajuste RigorQuant + paquete de skills: investigación multiagente cerrada y desatendida para matemáticas empíricas y computacionales (economía, finanzas, carteras), con una batería de comprobaciones previas a la implementación en cuatro partes y una vía de escalado jacobiano/Lean.

Math Agent Framework para DeepSeek Harness: motor de derivación simbólica (CES / formas cuadráticas / ODE / PDE), verificación con SymPy, demostraciones formales verificadas por el compilador de Lean 4 y verificación adversarial multiagente estilo QED, expuesto como herramientas DSH nativas mediante un shell TS que sirve de puente a un motor Python. Requiere clonar el repositorio math-agent-framework y ejecutar `pip install -r requirements.txt`, con MATH_AGENT_HOME apuntando a la raíz del repositorio. Cada resultado incluye procedencia (versiones del motor, semilla, tolerancias) y se marca como datos no confiables.

Kit de herramientas de datos financieros para agentes DSH: formateo de números y monedas (incluidas las unidades chinas wan/yi), cálculos de rentabilidad y CAGR, ratios de valoración y rentabilidad, PV/FV, métricas de riesgo y una lista de verificación de calidad de datos.

Registra el servidor MCP de MathWorks MATLAB/Simulink en un perfil dsh, de modo que las sesiones de agente obtengan herramientas mcp__matlab__* para ejecutar código MATLAB y leer, editar y probar modelos Simulink.

Genera informes HTML interactivos y autocontenidos a partir de Markdown, tablas, gráficos, mapas de provincias de China, diagramas de flujo, matemáticas y tablas navegables; un plugin de DeepSeek Harness (dsh)

Consulta 64 exámenes chinos (gaokao/examen de posgrado/CET-4/6/CPA/examen de derecho...) con cálculo de fechas consciente de las reglas (segundo sábado, primer domingo) y cuentas regresivas.

Suite rigurosa de investigación matemática abierta: cuatro agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) para demostrar teoremas con auditoría adversaria, gestión de programas de investigación, orquestación de pipelines y auditoría de formalización en Lean 4; pruebas verificadas por CI y sincronización mecánica con upstream.

Puertas de verificación con cómputo real: simplificación matemática, demostraciones lógicas, validación de regex, FOL con E-prover, comprobaciones de máquinas de estados y reparación de código, respaldadas por binarios compilados en Go con ejecutables de Windows precompilados.

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 matemático de manim para 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.

Programación de hábitos recurrentes basada en cálculo puro de fechas: próxima ocurrencia, programaciones por rango y avisos de retraso.