
gordensun/math2ggb
Developer toolsЭта страница переведена автоматически. Технические детали смотрите в оригинале. Открыть оригинал
Навык агента курсора, который превращает математические задачи (эсп. геометрия) в верные + интерактивные файлы GeoGebra .ggb, приводя в движение реальный движок GeoGebra.
Обзор
Навык агента курсора, который превращает Для каждой фигуры он производит файлы, построенные из той же самой конструкции, ограниченной зависимостью: - (статическая верная) - напечатанная фигура, воспроизведенная точно (только ее точки, сегменты и знаки угла, не более и не менее); - (чистый интерактивный) - тот же самый печатно-идентичный вид без текста / помощи / видимых кругов помощника, но полностью перетаскивающийся с каждым сохраненным условием; - (динамическое обучение) - та же самая база плюс вспомогательные линии, аннотации и считывания угла / длины на - непроверяя, он возвращается к точному оригиналу. Все три кодируют условия проблемы как реальные ограничения (конциклические, пересечение, отражение, средняя точка, спиральное сходство, локус ...), поэтому перетаскивание точки водителя удовлетворяет каждому условию. Точное воспроизведение обеспечивается (никогда не бросая глаз) и путем добавления временных объектов измерения для проверки координат / длин / углов, которые, таким образом, окончательный файл точно соответствует оригиналу.
Обзор (машинный перевод)
Навык агента курсора, который превращает математическую проблему (особенно геометрию) в
Файлы GeoGebra .ggb** Для каждой фигуры он производит ** три ** файла, построенных из
Одно и то же строительство, ограниченное зависимостью:
***** (статический верный) — печатная фигура воспроизводится точно (только ее точки, отрезки и угловые отметки, не больше и не меньше);
• • the (чистый интерактивный) — тот же печатно-идентичный вид без текста/помощи/видимых кружков помощника, но полностью перетаскивающийся с сохранением каждого условия;
**** (динамическое обучение) — та же самая база плюс вспомогательные линии, аннотации и показания угла/длины в реальном времени на переключателе **显示辅助 — отключив его, возвращается к точному оригиналу.
Все три кодируют условия проблемы как реальные ограничения (конциклические, пересечения, отражение, середина, спиральное сходство, локус…), так что перетаскивание точки водителя держит Все условия удовлетворены. Точное воспроизведение обеспечивается путем ** измерения оригинальное изображение** (никогда не бросается в глаза) и путем добавления временных объектов измерения проверить координаты/длины/углы, которые ** удаляются перед экспортом**, чтобы Файл точно соответствует оригиналу.
Эта страница переведена автоматически. Технические детали смотрите в оригинале.
README
Math2GGB
A Cursor Agent Skill that turns a math problem (especially geometry) into
GeoGebra .ggb files. For each figure it produces three files built from the
SAME dependency-constrained construction:
- a 静态复刻图 (static faithful) — the printed figure reproduced exactly (only its points, segments, and angle marks, no more no less);
- a 干净可交互图 (clean interactive) — the same print-identical look with no text/aids/visible helper circles, but fully draggable with every condition preserved;
- a 动态理解图 (dynamic teaching) — the same base plus auxiliary lines, annotations, and live angle/length readouts on a
显示辅助toggle — unchecking it returns to the exact original.
All three encode the problem’s conditions as real constraints (concyclic, intersection, reflection, midpoint, spiral similarity, locus…), so dragging a driver point keeps every condition satisfied. Precise reproduction is enforced by measuring the original image (never eyeballing) and by adding temporary measurement objects to verify coordinates/lengths/angles, which are deleted before export so the final file matches the original exactly.
It works by driving the real GeoGebra engine in a browser (GeoGebra’s own JS
API) and exporting with getBase64(), so the produced files always open in
GeoGebra — no fragile hand-written XML.
Install
Copy this folder into your Cursor skills directory:
# Personal (all projects):
cp -R Math2GGB ~/.cursor/skills/math2ggb
# or Project (this repo only):
cp -R Math2GGB /.cursor/skills/math2ggb
Then just ask the agent, e.g. “把这道几何题做成 GeoGebra 文件” / “make an interactive GeoGebra of this problem”.
Layout
Math2GGB/
├── SKILL.md # main orchestration (stages A–E)
├── references/
│ ├── geogebra-recipes.md # commands, JS API, image-measuring, condition→constraint table, gotchas
│ └── example-hidden-circle.md # verified example (静态复刻图 + 干净可交互图 + 动态理解图)
├── scripts/
│ └── ggb_server.py # serves generator + receives exported .ggb
└── templates/
└── generator.html # loads the real GeoGebra engine (AG layout)
Requirements
- A browser tool (navigate, evaluate JS, screenshot).
- Internet (the generator page loads GeoGebra from geogebra.org’s CDN).
python3.
Opening the output on macOS
The App Store GeoGebra Classic 6 is sandboxed: double-clicking a .ggb (or
passing it on the command line) shows a blank window. Open via
☰ menu → Open → From this device → pick the file, or drag the file onto the
GeoGebra window. The web app (geogebra.org/classic) opens files normally.
Рекомендуемые инструменты
Попробуйте другой запрос или уберите фильтр.
Установка
npx skillfish add gordensun/math2ggb