形式化验证 skill /create-formal-verification-skill：安装 Java 后电脑升温 10 度，竞态条件“消失”

zealcaiden 使用 poteto 的 /create-formal-verification-skill 后，竞态条件被称“从此不可能发生”。该技能会安装 Java，并使 MacBook 温度升高约 10 度、编译多花 6 分钟，形成典型的 Agent skill 黑盒副作用吐槽。