Plugin

Rende l'output HTML dell'agente come vera interfaccia nella GUI web di DeepSeek Harness, con schede visive, matematica KaTeX, diagrammi Mermaid, font open source integrati e iniezione di specifiche di design.

Workflow multi-agente per gare di modellistica matematica: il preset "UltraMath" esegue un problema dalla lettura attraverso framework, derivazione, coding, verifica, carta e revisione, più 4 preset di ruolo a stadio singolo (matematico, ingegnere, scrittore, revisore) e 33 documenti skill di libreria di modelli.

Installa quattro preset di ricerca matematica multi-agente per DSH: v2 (pipeline guidata dalla probabilità con dibattito tra più verificatori), v3 (base di conoscenza Markdown in stile paper con un agente pianificatore e una libreria di metodi riutilizzabile), v4 (residenti persistenti auto-organizzati che si scrivono e si incontrano) e v5 (un istituto di ricerca con un accademico che scompone e assegna il lavoro, ricercatori votanti, lavoratori temporanei, chat di gruppo e una board di attività compare-and-set); tutti e quattro supportano la ripresa da checkpoint, l'intervento umano e un interruttore opzionale di verifica formale Lean (off/encourage/require) la cui prova superata trasforma il voto in un controllo di fedeltà delle affermazioni Lean.

Una suite di competenze di modellazione matematica con gate per DeepSeek Harness: una pipeline in cinque fasi con gate di fase, pattern di scrittura per articoli premiati, analisi di sensibilità, diagnosi statistica e un preset per concorsi.

Valutatore sicuro di espressioni matematiche, con parser a discesa ricorsiva a dipendenza zero.

Preset RigorQuant + pacchetto di skill: ricerca multi-agente isolata e senza supervisione per matematica empirica e computazionale (economia, finanza, portafoglio), con una batteria di controlli in quattro parti prima dell'implementazione e un percorso di escalation jacobiano/Lean

Math Agent Framework per DeepSeek Harness: motore di derivazione simbolica (CES / forme quadratiche / ODE / PDE), verifica con SymPy, dimostrazioni formali verificate dal compilatore Lean 4 e verifica avversariale multi-agente in stile QED, esposti come strumenti DSH nativi tramite una shell TS che fa da ponte a un motore Python. Richiede la clonazione del repository math-agent-framework e `pip install -r requirements.txt`, con MATH_AGENT_HOME che punta alla radice del repository. Ogni risultato riporta la provenienza (versioni dei motori, seed, tolleranze) ed è contrassegnato come dati non attendibili.

Toolkit di dati finanziari per agenti DSH: formattazione di numeri e valute (incluse le unità cinesi wan/yi), calcoli di rendimento e CAGR, rapporti di valutazione e redditività, PV/FV, metriche di rischio e una checklist per la qualità dei dati.

Registra il server MCP MathWorks MATLAB/Simulink in un profilo dsh, in modo che le sessioni agente ottengano strumenti mcp__matlab__* per eseguire codice MATLAB e leggere, modificare e testare modelli Simulink.

Genera report HTML interattivi e autonomi da Markdown, tabelle, grafici, mappe delle province cinesi, diagrammi di flusso, formule matematiche e tabelle di drill-down — un plugin per DeepSeek Harness (dsh).

Interroga 64 esami cinesi (Gaokao/ammissione ai master/CET-4/6/CPA/esame di abilitazione legale…) con calcoli di date basati su regole (2° sabato, 1ª domenica) e conto alla rovescia

Suite rigorosa di ricerca matematica open: quattro agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) per la dimostrazione di teoremi con audit avversariale, gestione del programma di ricerca, orchestrazione della pipeline e audit di formalizzazione Lean 4; test verificati in CI e sincronizzazione meccanica con upstream.

Gate di verifica a calcolo reale: semplificazione matematica, dimostrazioni logiche, validazione con regex, FOL con E-prover, verifiche di macchine a stati e riparazione del codice, basati su binari compilati in Go con eseguibili Windows precompilati

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 matematico Manim per 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.

Pianificazione di abitudini ricorrenti tramite puro calcolo delle date: prossima occorrenza, pianificazioni per intervalli e avvisi di ritardo