pstack v0.15.27 发布形式化验证技能

Lauren Tan（SpaceXSI，Grok Bot 工程负责人）称，pstack v0.15.27 新增技能 /create-formal-verification-skill，目前仍处 beta。该技能可根据想验证的特性生成新技能与形式化验证套件，例如用 TLA+ 建模状态机与并发系统，或用 Rust 的 kani 检查未定义行为。 她称自己已用该技能以 TLA+ 建模自家代码，并发现多个 bug；这是发布者的说法，尚未见独立验证。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。