Plugins

Lienzo GeoGebra por sesión con 20 herramientas nativas de dibujo, lectura de escena, diseño de texto y captura de animación, más 55 skills y applets offline.

Instala cuatro presets de investigación matemática multiagente para DSH: v2 (pipeline guiado por probabilidad con debate entre varios verificadores), v3 (base de conocimiento Markdown estilo artículo con un agente planificador y una biblioteca de métodos reutilizable), v4 (residentes persistentes autoorganizados que se escriben y se reúnen) y v5 (un instituto de investigación con un académico que descompone y asigna el trabajo, investigadores que votan, trabajadores temporales, chat grupal y un tablero de tareas compare-and-set); los cuatro admiten reanudación desde checkpoint, intervención humana y un interruptor opcional de verificación formal en Lean (off/encourage/require) cuya prueba superada convierte el voto en una comprobación de fidelidad de los enunciados Lean.

Preajuste RigorQuant + paquete de skills: investigación multiagente cerrada y desatendida para matemáticas empíricas y computacionales (economía, finanzas, carteras), con una batería de comprobaciones previas a la implementación en cuatro partes y una vía de escalado jacobiano/Lean.

Suite rigurosa de investigación matemática abierta: cuatro agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) para demostrar teoremas con auditoría adversaria, gestión de programas de investigación, orquestación de pipelines y auditoría de formalización en Lean 4; pruebas verificadas por CI y sincronización mecánica con upstream.