Plugins

Canvas GeoGebra par session avec 20 outils natifs de dessin, lecture de scène, mise en page et capture d’animation, plus 55 skills mathématiques et ressources hors ligne.

Installe quatre presets de recherche mathématique multi-agents pour DSH : v2 (pipeline guidé par les probabilités avec débat multi-vérificateurs), v3 (base de connaissances Markdown façon article avec un agent planificateur et une bibliothèque de méthodes réutilisable), v4 (résidents persistants auto-organisés qui s'écrivent et se réunissent) et v5 (un institut de recherche avec un académicien qui décompose et attribue le travail, des chercheurs votants, des intérimaires, un chat de groupe et un tableau de tâches compare-and-set) ; les quatre gèrent la reprise sur point de contrôle, l'intervention humaine et un interrupteur optionnel de vérification formelle Lean (off/encourage/require) dont la preuve validée transforme le vote en contrôle de fidélité des énoncés Lean.

Préréglage + pack de skills RigorQuant : recherche multi-agents sans surveillance et cloisonnée pour les mathématiques empiriques et computationnelles (économie, finance, portefeuille), avec une batterie de vérifications en quatre parties avant implémentation et une voie d'escalade jacobienne/Lean.

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.