animageo

O AnimaGeo é uma ferramenta que transforma construções geométricas do GeoGebra em figuras e animações de alta qualidade. Ele analisa arquivos .ggb, reconstrói o grafo de dependências entre os elementos, renderiza-os via manim e exporta para formatos vetoriais estáticos (SVG, PDF, EPS, TikZ, JSXGraph interativo) ou vídeo animado (MP4, GIF, WebM, PNG). Os principais recursos incluem importação fiel do GeoGebra com suporte a pontos, retas, segmentos, semirretas, vetores, polígonos, ângulos, círculos, arcos, setores, cônicas, funções explícitas, curvas implícitas e macros de ferramentas personalizadas. Uma DSL em Python permite construir construções diretamente sem um arquivo do GeoGebra, com 100 fábricas de comandos respaldadas por 477 assinaturas de despacho especializadas por tipo. O sistema de estilização usa JSON com padrões em camadas, sobreposições por tipo/por nome e políticas de importação configuráveis. O posicionamento automático de rótulos usa um solucionador que evita sobreposição com modos estático, de keyframe e dinâmico por quadro. Os recursos de animação incluem revelar/ocultar elementos, conduzir variáveis livres com ValueTrackers e sequências de keyframes em JSON. Os alvos de exportação incluem SVG/PDF/EPS via Cairo, TikZ semântico nativo para LaTeX, JSXGraph interativo com um runtime web e MP4/GIF/WebM/PNG via manim. O pacote é amigável para agentes de IA, incluindo um guia de uso autossuficiente acessível via `animageo --ai-guide`. A instalação é via pip (`pip install --upgrade animageo`), exigindo Python 3.11+. A interface de linha de comando suporta várias opções para formato, tamanho, estilo, keyframes e mais. A integração com Python permite carregar arquivos GGB, estender com código DSL, reestilizar elementos, exportar imagens estáticas e animar cenas. A animação por keyframes v2 suporta trilhas de geometria/valor, trilhas de estilo, visibilidade com efeitos de entrada/saída, easing, pan/zoom de câmera e eventos. O sistema de estilo inclui presets, defaults, overlay, rendering e seções de importação, com valores invariantes em pixels. Documentação extensa cobre quickstart, arquitetura, API, keyframes, DSL, estilos, políticas de importação, formatos de exportação e mais. O projeto é licenciado sob Apache-2.0.