Plugins

Sitzungsbezogene GeoGebra-Leinwand mit 20 Tools für Zeichnen, Szenenlesen, Textlayout und Animationsaufnahme sowie 55 Mathe-Skills und Offline-Ressourcen.

Installiert vier Multi-Agent-Presets für mathematische Forschung in DSH: v2 (wahrscheinlichkeitsgetriebene Pipeline mit Debatte mehrerer Prüfer), v3 (Markdown-Wissensbasis im Paper-Stil mit Planer-Agent und wiederverwendbarer Methodenbibliothek), v4 (persistente, selbstorganisierte Bewohner, die sich Nachrichten schreiben und treffen) und v5 (ein Forschungsinstitut mit einem Akademiker, der Arbeit zerlegt und verteilt, abstimmenden Forschern, Aushilfen, Gruppenchat und einem Compare-and-Set-Task-Board); alle vier unterstützen Checkpoint-Fortsetzung, menschliches Eingreifen und einen optionalen Lean-Formalverifizierungs-Schalter (off/encourage/require), dessen bestandener Beweis die Abstimmung in eine Treueprüfung der Lean-Aussagen verwandelt.

RigorQuant-Preset + Skill-Paket: unbeaufsichtigte, abgeschottete Multi-Agent-Recherche für empirische und rechnergestützte Mathematik (Wirtschaft, Finanzen, Portfolio), mit einer vierteiligen Prüfbatterie vor der Umsetzung und einer Eskalationsschiene über Jacobian/Lean.

Strenge offene Mathematik-Forschungssuite: vier agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) für das Beweisen von Theoremen mit adversarialem Audit, Verwaltung von Forschungsprogrammen, Pipeline-Orchestrierung und Lean-4-Formalisierungsprüfung; CI-verifizierte Tests und mechanische Upstream-Synchronisierung.