@Gorden_Sun: 再开源一个数学技能,把数学题转为GGB文件 如果转的是图片几何题,需要模型有视觉能力(Opus或GPT),如果题目是带动点的几何题,还会生成可交互的GGB文件,能自由移动动点看图形的变化。可以帮助教师把书上的题目电子化,可以辅助学生理解题…

X AI KOLs Timeline 工具

摘要

Gorden_Sun 开源了 Math2GGB 技能,可将几何数学题转换为 GeoGebra 交互文件,支持静态复刻、干净交互和动态教学三种模式,帮助教师电子化题目,辅助学生理解。

再开源一个数学技能,把数学题转为GGB文件 如果转的是图片几何题,需要模型有视觉能力(Opus或GPT),如果题目是带动点的几何题,还会生成可交互的GGB文件,能自由移动动点看图形的变化。可以帮助教师把书上的题目电子化,可以辅助学生理解题目。 这是辽宁的一个中学老师看到我公众号的数学可视化技能找来的,他自己用Gemini折腾了好久,也只做了个效果一般般的html文件,想问我能不能实现。我用Claude和Codex都试了可以实现,他其实也有Codex,但是试了不行就放弃了。教怎么用AI还任重道远啊。 图片1是原题 视频是生成的可交互的GGB文件的效果 Github:https://github.com/GordenSun/Math2GGB…
查看原文
查看缓存全文

缓存时间: 2026/07/03 02:28

再开源一个数学技能,把数学题转为GGB文件 如果转的是图片几何题,需要模型有视觉能力(Opus或GPT),如果题目是带动点的几何题,还会生成可交互的GGB文件,能自由移动动点看图形的变化。可以帮助教师把书上的题目电子化,可以辅助学生理解题目。

这是辽宁的一个中学老师看到我公众号的数学可视化技能找来的,他自己用Gemini折腾了好久,也只做了个效果一般般的html文件,想问我能不能实现。我用Claude和Codex都试了可以实现,他其实也有Codex,但是试了不行就放弃了。教怎么用AI还任重道远啊。

图片1是原题 视频是生成的可交互的GGB文件的效果 Github:https://github.com/GordenSun/Math2GGB…


GordenSun/Math2GGB

Source: https://github.com/GordenSun/Math2GGB

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 <your-project>/.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.

Gorden Sun (@Gorden_Sun): 再开源一个技能:一键生成可视化数学讲解视频

提示词: 安装这个Skill:https://t.co/otI2ZDfdlf 然后使用这个Skill给小学生讲解:给小学生讲解□+28=□x5

下方2个视频是我生成的效果。

相似文章

@akokoi1: 开源教育skills——edulab新增解析几何题类型: 同样支持随机出题、文字题目、上传题目截图解题。 使用2D Canvas 绘制动态几何画板(曲线 + 动直线/动点 + 向量 + 标注),自带画笔涂鸦标记。 包含动态控制台(滑块 +…

X AI KOLs Timeline

edulab 新增解析几何题类型,支持随机出题、动态几何画板(2D Canvas 绘制曲线、动直线、动点、向量等)及 KaTeX 分步解析,是一个开源教育技能工具更新。

数学折纸

Hacker News Top

Mathigon 推出了一个关于数学折纸的互动学习页面,涵盖柏拉图立体、阿基米德立体等多面体主题,并链接到 Polypad 上的 3D 模型探索工具。

@vintcessun: Get It 把 PDF 变成了可交互的知识图谱和可视化引擎,不是又一个摘要工具。它逐个概念检测,为每个关键词生成 3D/动画/公式可视化,然后用闪卡、测验、费曼教学等工具闭环评估理解深度。每个概念从记忆、理解、结构、应用四个维度打分,只…

X AI KOLs Timeline

Get It turns PDFs into interactive knowledge graphs and visualizations, using concept detection and multi-format rendering to help students deeply understand material. It runs locally using the user's own ChatGPT account.

@XAMTO_AI: 你还记得以前折腾数学物理教学动画时那种抓狂的感觉吗? Manim要手写、LaTeX要配、镜头运动要一帧帧调,光环境搭建就能劝退一半人。 现在有个开源工具直接把这条路打通了——Math-To-Manim,一句话描述,自动生成完整交互动画。 …

X AI KOLs Timeline

Math-To-Manim 是一个开源工具,能根据一句话描述自动生成完整的数学物理教学动画,包括 LaTeX 公式和镜头设计,并附带 55+ 示例,大幅降低制作门槛。