codex

geogebra-geometry

Editable GeoGebra construction and semantic figure export

2 on GitHubv0.3.1MITupdated 1 month ago

Ships a Codex manifest but no marketplace file, so Codex can't add it by name yet. Add it to a local marketplace (.agents/plugins/marketplace.json).

Plugin geogebra-geometry in YZDame/geogebra-mcp-server. Commands read from the repo's manifest — 1 month ago.

This plugin runs code on your machine — it starts local MCP servers. The exact commands are listed below; read them before installing.

What it installs

Skills (3)

  • geogebra-construct

    Construct editable GeoGebra geometry from a mathematical problem and deliver interactive HTML or a packed GGB file.

  • geogebra-setup

    Set up the GeoGebra geometry plugin from a local checkout and diagnose its Node, Chromium, Gikz, and export-toolchain dependencies.

  • geometry-export

    Export GeoGebra diagrams to editable TikZ, Asymptote, or TSQX, preserving construction relations and reconstructing unsupported definitions with AI assistance.

MCP servers (1)

  • geogebra

    runs: node ./dist/cli.js

View source on GitHub

Maintain geogebra-geometry?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex pluginslisted