Plugins

Compétences de flux de travail de recherche ARIS en tant que bundle DeepSeek Harness : 82 compétences plus revue adversariale inter-modèles via Codex.

Skill de flux de travail de recherche AI-for-Science pour DeepSeek Harness, destiné aux chercheurs et étudiants de troisième cycle utilisant l'IA agentique : revue de littérature multi-angle avec fichiers par angle, conception d'expériences avec liste de réserves, lecture de figures et d'articles ; chaque tâche renvoie des fichiers plus un brief de vérification croisée pour un second modèle. Zéro dépendance, MIT.

Flux de travail de recherche par Découverte Guidée par Questions pour DeepSeek Harness avec un Préréglage d'Agent QDD, des exécutions Manuelles et Automatiques durables, et un panneau de recherche auditable.

Suite rigoureuse de recherche mathématique ouverte : quatre agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) pour la démonstration de théorèmes avec audit adversarial, gestion de programme de recherche, orchestration de pipeline et audit de formalisation Lean 4 ; tests vérifiés par CI et synchronisation amont mécanique.