GitHub · 去对齐工具与仓库·· 19 天前AI 评分38
LemmaScript：用 //@ 标注为 TypeScript 生成可验证代码的工具链
midspiral/LemmaScript
来源与原文
GitHub · 去对齐工具与仓库
发布时间：（北京时间）
阅读原始来源 · github.com ↗完整链接与内容说明
https://github.com/midspiral/LemmaScript
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
GitHub 上的开源项目 LemmaScript 推出面向 TypeScript 的验证工具链（Tech Preview），通过 //@ 规格标注从同一份 TypeScript 源码生成 Dafny 或 Lean 4（配合 Velvet 2）可验证代码。案例包括 React + Supabase 协作任务应用、Hono 安全中间件 4 个 CVE 的形式化覆盖、node-casbin 5 个函数验证（217 个现有测试通过），其中 equality-game 案例达 753 个验证条件、0 错误。
来源：GitHub · 去对齐工具与仓库 · github.com