pstack adds /create-formal-verification-skill meta-skill in v0.15.27
The interesting shift is treating formal verification as a feedback loop for AI-written code, where mathematically proven invariants are stricter than any test suite. Developers building agent workflows or maintaining concurrent systems can install the beta skill and try generating TLA+ or Kani scaffolds for their own codebases. Compared with /create-verification-skill, this one targets mathematical proof rather than property testing, which changes the tooling it emits.
