Plugins

Habilidade de verificação de afirmações que confronta documentos de design e planos com fatos do código, escalando afirmações comportamentais para verificação executável com primitivas lógicas para máquinas de estado e modelos de dados, com regressão antes/depois, restrições de domínio e mineração de riscos de concorrência.

Um player de música flutuante e arrastável, retrátil/expansível, com importação de playlists do NetEase Cloud Music e busca de músicas/artistas — converse e ouça música ao mesmo tempo

DeepSeek Harness (DSH) 插件：原生工信部 ICP 备案查询（网站 / APP / 小程序 / 快应用 + 四类违法违规黑名单）——Node 进程内直连官方接口并本地求解滑块验证码，无需 MCP 服务、外部服务或 API Key。Native MIIT ICP filing lookup for DSH.

Verifica se o app exibe o número de registro ICP/APP, link da política de privacidade e informações do operador — obrigações legais.

Kit de aprendizagem de algoritmos que sincroniza envios do Codeforces e AtCoder, identifica pontos fracos, gera planos de treino com IA e acompanha revisões espaçadas em um currículo de 114 aulas.