Плагины

Сессионная GeoGebra-среда: 20 встроенных инструментов для рисования, чтения сцены, текста и захвата анимации, 55 математических навыков и офлайн-ресурсы.

Устанавливает четыре многоагентных пресета для математических исследований в DSH: v2 (пайплайн на основе вероятностей с дебатами нескольких проверяющих), v3 (база знаний в стиле статьи на Markdown с агентом-планировщиком и переиспользуемой библиотекой методов), v4 (постоянные самоорганизующиеся резиденты, которые переписываются и встречаются) и v5 (исследовательский институт с академиком, который разбирает и распределяет работу, голосующими исследователями, временными работниками, групповым чатом и таск-бордом compare-and-set); все четыре поддерживают возобновление с чекпоинта, вмешательство человека и необязательный переключатель формальной верификации Lean (off/encourage/require), прошедшее доказательство которого превращает голосование в проверку точности Lean-утверждений.

Пресет RigorQuant + пакет навыков: автономное изолированное многоагентное исследование для эмпирической и вычислительной математики (экономика, финансы, портфель), с батареей проверок из четырёх частей перед реализацией и эскалацией через jacobian/Lean.

Строгий набор для открытых математических исследований: четыре agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) для доказательства теорем с враждебным аудитом, управлением исследовательской программой, оркестрацией пайплайна и аудитом формализации в Lean 4; тесты, проверенные CI, и механическая синхронизация с upstream.