先了解这件事
AI 综述
pstack v0.15.27 随附新技能 /create-formal-verification-skill,该技能目前仍处于 beta 阶段。据相关报道,这一技能属于元技能,会根据用户想验证的特性生成新技能和形式化验证套件,例如用 TLA+ 建模并发状态机,或用 Rust 的 kani 检查未定义行为;作者用它在 TLA+ 中建模自家代码,已发现若干 bug。此前在 2026 年 10 月 18 日,Lauren Tan 表示正在为 pstack 开发一项新的验证技能。
AI 根据公开报道生成
最新进展 · 正式报道
pstack v0.15.27 新增形式化验证技能事件进展
2 个已确认进展
- 来源：Lauren Tan
- 来源：Lauren Tan
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
10月19日
Lauren Tan
pstack v0.15.27 新增形式化验证技能
pstack v0.15.27 发布新技能 /create-formal-verification-skill，目前仍处于 beta 阶段。该技能属于元技能，会根据用户想验证的特性生成新技能和形式化验证套件，例如用 TLA+ 建模并发状态机，或用 Rust 的 kani 检查未定义行为。作者用它在 TLA+ 中建模自家代码，已发现若干 bug。