Plugins

Canvas GeoGebra por sessão com 20 ferramentas nativas para desenho, leitura de cena, layout e captura de animação, mais 55 skills e recursos offline.

Instala quatro presets de pesquisa matemática multiagente para o DSH: v2 (pipeline guiado por probabilidade com debate entre vários verificadores), v3 (base de conhecimento Markdown em estilo de artigo com um agente planejador e uma biblioteca de métodos reutilizável), v4 (residentes persistentes auto-organizados que trocam mensagens e se reúnem) e v5 (um instituto de pesquisa com um acadêmico que decompõe e atribui o trabalho, pesquisadores votantes, trabalhadores temporários, chat em grupo e um quadro de tarefas compare-and-set); os quatro suportam retomada por checkpoint, intervenção humana e um interruptor opcional de verificação formal em Lean (off/encourage/require), cuja prova aprovada transforma o voto em uma checagem de fidelidade das afirmações Lean.

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

Suíte rigorosa de pesquisa matemática aberta: quatro agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) para provar teoremas com auditoria adversarial, gestão de programa de pesquisa, orquestração de pipeline e auditoria de formalização em Lean 4; testes verificados por CI e sincronização mecânica com upstream.