Plugins

Compétence de vérification d'affirmations qui confronte documents de conception et plans aux faits du code, en escaladant les affirmations comportementales vers une vérification exécutable par primitives logiques pour machines à états et modèles de données, avec régression avant/après, contraintes de domaine et exploration des risques de concurrence.

Lecteur de musique flottant, déplaçable et repliable/dépliable, avec import de playlists NetEase Cloud Music et recherche de morceaux/artistes — discutez et écoutez de la musique en même temps.

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

Vérifie si l’application affiche le numéro d’enregistrement ICP/APP, l’accès à la politique de confidentialité et les informations sur l’opérateur, tous obligatoires par la loi.

Kit d’apprentissage des algorithmes qui synchronise les soumissions Codeforces et AtCoder, repère les lacunes, crée des plans d’entraînement IA et suit les révisions espacées sur un cursus de 114 leçons.