Plugins

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

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

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.

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.

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.

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

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