meng shao(@shao__meng)· meng shao (@shao__meng)·· 4 小时前AI 评估 · 60/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
pstack 新增 meta-skill /create-formal-verification-skill，可按需生成定制验证套件
pstack 新增了一个 skill /create-formal-verification-skill 定位是 meta-skill：不直接帮你做形式化验证，而根据你想验证的系统特性，自动生成一个...
AI 导读
pstack v0.15.27 新增 skill /create-formal-verification-skill，目前处于 beta 阶段。它是一个 meta-skill，不直接做形式化验证，而是根据要验证的系统特性生成定制的验证 skill 和配套套件，例如验证状态机与并发行为时生成基于 TLA+ 的方案，排查 Rust 未定义行为时生成基于 Kani 的方案。
来源：meng shao(@shao__meng) · x.com