Plugin

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

Multi-agent math problem-solving & verification framework: brainstorm → solver iteration → multi-verifier debate → Verified knowledge base, with checkpoint resume and manual/auto intervention (also ships as an agent preset).

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).

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

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

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

Finance data toolkit for DSH agents: number and currency formatting (incl. Chinese wan/yi units), return and CAGR math, valuation and profitability ratios, PV/FV, risk metrics, and a data-quality checklist.

Plugin matematico Manim per deepseek harness

Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.

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