
gordensun/math2ggb
Developer toolsこのページは AI により自動翻訳されています。技術的な詳細は原文をご確認ください。 原文を見る
数学の問題(esp.ジオメトリ)を忠実に+インタラクティブなGeoGebra .ggbファイルに変換し、実際のGeoGebraエンジンを駆動するカーサーターエージェントスキル.
概要
カーソルのエージェント スキルをオンにします。 各図では、SAMEの依存構造から構築されたファイルを生成します。 - a(静的忠実) — 印刷された図は正確に再現しました(その点、セグメント、および角度のマークのみ、これ以上の少ない)。 - a(きれいなインタラクティブ) - テキスト/エイド/ビジュアルヘルパーサークルなしの同一のプリント識別的外観が保存されるが、すべての条件で完全にドラッグできる; - a(動的教育) - 同じベースプラス補助線、それを元の角度に戻すと、正確な角度を読み取り/チェックしない 問題の状態を実質の制約(循環、交差、反射、中間点、螺線形の類似性、locus...)として符号化し、従って運転者ポイントをドラッグすることはあらゆる条件に満たされた保ちます。 精密な再現は(毎回目撃)によって強化され、一時測定オブジェクトを追加することで、最終ファイルが元の正式にマッチする座標/長さ/角度を検証します.
概要(AI 翻訳)
数学問題(特に幾何学)をに変えるカーソルのエージェントスキル
GeoGebra .ggb]ファイル。 各図では、three ファイルを生成します。
SAMEの依存性禁忌の構造:
-静の刻印**(静的忠実) — 印刷された数字は正確に再現(その点、セグメント、および角度のマークのみ、これ以上は少ない)。
- ** 干星可交信** (きれいな対話式) — テキスト/エイド/可視ヘルパーの円なしの同じプリント識別一見、保存されたすべての条件で完全にドラッグできます。
- 同じベースと補助ライン、注釈、および**[[T1]上のライブアングル/長さの読み込み)をトグル** - チェックを外すと、元の正式に戻ります。
問題の条件を実質の制約(循環的、交差、 リフレクション、ミッドポイント、スパイラル類似性、ローカスなど、ドライバーポイントをドラッグすると、 すべての条件は満たされます。 精密な再現は、** による強化 オリジナルイメージ**(アイボール)と仮計測オブジェクトを追加することで エクスポート前に削除されている座標/長さ/角度を確認します* 最終的な 元のファイルを正確に一致させます.
このページは AI により自動翻訳されています。技術的な詳細は原文をご確認ください。
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