Plugins

Skills de fluxo de trabalho de pesquisa ARIS como um pacote DeepSeek Harness: 82 skills mais revisão adversarial entre modelos via Codex.

Skill de fluxo de trabalho de investigação AI-for-Science para DeepSeek Harness, dirigido a investigadores e estudantes de pós-graduação que usam IA agêntica: revisão de literatura multi-ângulo com ficheiros por ângulo, desenho de experiências com lista de ressalvas, leitura de figuras e artigos; cada tarefa devolve ficheiros mais um briefing de verificação cruzada para um segundo modelo. Zero dependências, MIT.

Fluxo de trabalho de pesquisa por Descoberta Orientada por Perguntas para DeepSeek Harness com um Preset de Agente QDD, execuções Manuais e Automáticas duráveis e um painel de pesquisa auditável.

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.