GitHub · 灵魂体仓库·· 22 天前精选AI 评分71
dawnr v5 发布：带七重数学证明的本地编程助手
trestoncuzzort/dawnr
来源与原文
GitHub · 灵魂体仓库
发布时间：（北京时间）
阅读原始来源 · github.com ↗完整链接与内容说明
https://github.com/trestoncuzzort/dawnr
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
trestoncuzzort 发布 dawnr v5，一个基于 Qwen3.5-4B 微调的本地助手，程序答案由 Dafny、Verus、SPARK、Frama-C、Lean 4、Rocq、F* 七个证明器验证后才输出，否则明确拒绝。
推荐理由
原文不仅给出发布，还附完整实测数字、三次当日勘误和各模型对照表，读者可据此核验每个结论的来源。
来源：GitHub · 灵魂体仓库 · github.com