pstack 新增 meta-skill /create-formal-verification-skill，可自动生成形式化验证 skill

导读

pstack v0.15.27 新增 skill /create-formal-verification-skill，目前为 beta。它是 meta-skill，根据想验证的系统特性自动生成定制验证 skill 和验证套件，如用 TLA+ 验证状态机与并发、用 Kani 排查 Rust 未定义行为。