AnimaGeo — Documentation

GeoGebra → Python → Manim → SVG / MP4

AnimaGeo turns GeoGebra geometric constructions into high-quality images and animations: it parses .ggb files, builds a dependency graph between elements, renders through manim, and exports to SVG (Cairo), PDF/EPS, TikZ, interactive JSXGraph, or video (MP4/GIF/WebM/PNG). Constructions can also be built directly in the embedded Python DSL, without a GeoGebra file.

Getting started

• Quickstart — installation, first render, CLI and code
• Architecture — pipeline and module map
• Project README — overview and feature list

Reference

• API reference — scene and construction methods
• Keyframe animation — JSON/timeline format for play_keyframes, v2 styles/visibility/camera/events
• Python DSL — exec-based engine for building constructions
• Style system — the primary reference for styles, layers, and label placement
• Flexible GeoGebra import (ImportPolicy)
• Field names of the geometric classes — mapping between GGB XML / ggb_raw / elem.style / JSON / renderer
• Compact construction summary — JSON summary for AI-driven styling

Export

• Export formats — SVG / PDF / EPS / TikZ / JSXGraph / video
• TikZ export — semantic native TikZ for LaTeX

For AI agents

• animageo --ai-guide / animageo/AI_USAGE_PROMPT.md — self-sufficient guide for an external AI
• Context for AI style generation
• JSON Schema for AI style JSON
• Context for AI construction creation/editing

Miscellaneous

• Gotchas and pitfalls
• Direction
• Changelog — release history