技巧Agent 与开发者精选10:34pstack v0.15.27 推出 meta-skill /create-formal-verification-skillpstack 出了个 meta-skill，你说要验证啥，它就帮你生成 TLA+ 或 Kani 的验证方案，作者自己已经用它找到了几个 bug。#pstack#TLA+#Kani#形式化验证1 个信源在谈事件专题shao__meng@shao__meng2 个信源在谈原文稍后读已读值得跟进有用关注 pstack
