Plugins

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

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

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)

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

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

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

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 de matemática Manim para o 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.

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