Understand this story
pstack v0.15.27 ships with the new skill /create-formal-verification-skill, which is still in beta. According to reports, this skill is a meta-skill that generates new skills and formal verification suites based on the properties the user wants to verify, for example modeling concurrent state machines in TLA+, or using Rust's kani to check for undefined behavior; the author used it to model their own code in TLA+ and has already found several bugs. Previously, on October 18, 2026, Lauren Tan said she was developing a new verification skill for pstack.
AI-generated from public reports
Latest development · Report
pstack v0.15.27 adds a formal verification skillDevelopments
2 confirmed developments
Reports and discussion timeline
Browse reports and discussion by time. Their evidence levels remain distinct.
Oct 19
Lauren Tan
pstack v0.15.27 adds a formal verification skill
pstack v0.15.27 releases a new skill, /create-formal-verification-skill, which is still in beta. This skill is a meta-skill that generates new skills and formal verification suites based on the feature the user wants to verify, for example modeling a concurrent state machine in TLA+, or using Rust's kani to check for undefined behavior. The author used it to model their own code in TLA+ and has already found several bugs.
Oct 18
Lauren Tan
Lauren Tan is developing a verification skill for pstack
Lauren Tan said she is developing a new verification skill for pstack.