pstack新增形式化验证Skill

发生了什么

据X用户@shao__孟公告，pstack新增/create-formal-verification-skill技能。该meta-skill根据系统特性自动生成定制验证方案，如基于TLA+或Kani的套件。传统外置建模与同语言证明路线并存，LLM接管建模同步难题，提供“数学上不可能违反”的强反馈。