Penmentor 开源上线 让 Claude Code 在屏幕上批改手写数学
Penmentor 是一个 MIT 许可的开源工具,在 xournal++ 里按一个键就把它当前的手写数学页交给已登录的 AI 命令行 agent 批改。模型用彩色笔圈出第一处真实错误、给正确行打勾、对沿用错误结果的后续行划线,以提示而非答案的方式引导下一步,框选区域还能生成 manim 交互动画。
Penmentor 是一个 MIT 许可的开源工具,在 xournal++ 里按一个键就把它当前的手写数学页交给已登录的 AI 命令行 agent 批改。模型用彩色笔圈出第一处真实错误、给正确行打勾、对沿用错误结果的后续行划线,以提示而非答案的方式引导下一步,框选区域还能生成 manim 交互动画。
Photo Ferret 是一个开源照片相册项目,用 TypeSafe 的 Jev 图像模型给每张照片自动打标,访客可通过天空占比、情绪、色调等滑块与标签筛选照片,筛选全部在浏览器里完成。
Sentence Transformers 在 v6.0 中加入第四种模型类型 MultiVectorEncoder,用于 ColBERT 式 late interaction 检索。
推荐理由:做 RAG 检索的团队可以用它把 bi-encoder 召回的前 50 条候选交给 MultiVectorEncoder 重排,先在小语料上称一下索引体积。