每条发布 = 一张工具卡 · 命中 "新工具 / 产品更新 / 模型发布 / 平台" 标签(itemType=tool_release)· 按时间排序
slash-editor 为 React 应用提供 Notion 块体验：斜杠菜单、拖拽手柄、嵌套重排序、转换功能、评论和实时协作。基于无头 Tiptap v3 构建，UI 通过 shadcn 组件库提供，支持表格、列、Mermaid 图表、自定义 AI 模型和 Markdown 导入导出。MIT 许可，无付费 tier，无托管服务。
推荐理由：它提供了 Notion 风格的编辑器组件，读者可评估是否适合替换现有方案。
本教程展示如何使用 TRL 库的 GRPO 方法微调 LFM2.5-350M 以提升结构化输出能力。实验使用约 500 个样本训练 100 步，在 IFStruct 基准上的准确率从 22.6% 提升至 29.7%（JSON 格式提升 13.9 个百分点），所需资源仅需免费层 Colab 或 Kaggle GPU。
推荐理由：原文给出了具体的方法论（GRPO + 奖励函数设计）和可量化的性能提升，读者可以据此判断轻量微调是否适合自己的结构化输出场景。
Mistral AI 发布 Leanstral，首个专为 Lean 4 证明助手设计的开源代码智能体，采用 6B 活跃参数的稀疏架构，支持 MCP，可通过 Mistral Vibe 或免费 API 使用，权重采用 Apache 2.0 许可证。
推荐理由：原文给出了能力变化和基准测试对比，读者可以据此判断它如何改变形式化证明的工作流。
Mistral 发布 Codestral 25.08 代码补全模型，在 SWE-bench Verified 上 Devstral Medium 达 61.6%，Codestral 25.08 相比前代提升 30% 接受率和 10% 代码留存率。
推荐理由：给出了具体性能提升数据（SWE-bench 61.6%、+30% accepted completions）和部署选项，读者可据此评估该版本相比前代及竞品的实际差距。
已经到底了