在结合Quint和AI以更好地生成代码的激动人心的实验结果之后，@bugarela在@summit_defi上展示了Quint辅助工作流程。这为开发者的日常工作流程带来了更多的验证和连接感，以对抗AI的糟糕表现。 完整演讲如下 ↓