Penmentor：用 Claude 等模型批改手写数学作业
开源工具 Penmentor 在 xournal++ 中手写数学时按一个键，Claude、Gemini 或 GPT 就会像老师一样用彩色笔在页面上批注：圈出第一个真正的错误、给正确的行打勾、给继承错误的后续行划线，并给出提示而非答案。它还能框选积分式生成 3Blue1Brown 风格的 manim 交互动画。工具复用已有的 Claude Code、Codex 或 Antigravity 订阅，通过 claude:、codex:、agy: 前缀选择模型。目前仅支持 Linux X11，依赖 rofi、slop、xdo…
推荐理由学微积分的人可以用现有 Claude 订阅，一键获得批注和 manim 动画，不用再截图问模型。