要是能结合链上的智能合约做成自动化检查，验证后自动打款的话就比现在靠谱多了，不确定纯自动化检查验证是否容易被绕过，目前这种人工 Review 的方式感觉有点原始。
已经不少 PR 了，应该全是 Vibe 提交的，还没看到有人真领了奖，不少是已经被证明但是没有被 Lean 形式化验证的问题，Token 多到没处使的可以让你的 AI 去试试，就当买张彩票了。
这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。
V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。
V2EX is a community of developers, designers and creative people.