OpenLemma：输入论文或概念，几分钟生成可拖拽的交互式讲解

独立项目 OpenLemma 能把一个概念或一篇论文在几分钟内生成短课，先讲故事，再把每个机制做成可拖动的实时模型，并逐字引用原文解释。每段引用都会校验是否原样出现在来源中，校验不通过就不展示，每个目标状态也先证明可达。画廊免费免账号，自建课程需 Google 登录和自备 AI key，用 Claude Opus 约 $1–4，代码以 MIT 开源。