pstack v0.15.27 新增形式化验证技能

导读

pstack v0.15.27 发布新技能 /create-formal-verification-skill，目前仍处 beta。该元技能可根据想验证的特性生成新技能与形式化验证套件，例如用 TLA+ 建模状态机与并发系统，或用 Rust 的 kani 检查未定义行为。作者用它以 TLA+ 建模自家代码，已发现多个 bug。