GitHub 开源 awesome-vericoding：LLM 形式化验证代码（vericoding）资源大全

GitHub 上的 JGalego/awesome-vericoding 仓库收录 vericoding——即由 LLM 生成带形式化证明代码——的各类资源，术语由 Bursuc et al. (2025) 提出。仓库将经典 vericoding（人写代码与证明、验证器检查）与 AI vericoding（模型与 agent 依据验证器反馈生成代码和证明）对比，并按基础理论、验证语言、证明助手、benchmark、agent 工具等分类整理。