yzdame/geogebra-studio
v0.4.0GPL-2.0-or-later
GeoGebra Studio: editable HTML geometry in the Codex browser, agent skills and built-in Gikz; optional MCP automation
geogebra-construct
Generate editable GeoGebra HTML and open it in the Codex browser panel, with no MCP server or separate Chrome installation.
geogebra-setup
Install or diagnose the skills-first GeoGebra HTML workflow; Chrome and MCP are optional automation features.
geometry-export
Export GeoGebra geometry to GGB, vector/image formats, cleaned TikZ, Asymptote or mixed TSQX/Asymptote, with explicit construction-provenance limits.