Understand this story
On October 30, 2026, lauren announced that the /statechart skill in pstack v0.15.36 is now stable and available. This skill can be used together with /create-formal-verification-skill to perform abstract modeling of state machines and distributed systems in order to find bugs. According to the same source, this skill has a built-in mini TLC compiler that can parse and lower to a small IR, with the backend outputting mmd syntax; lauren stated that they have already used it to find 2 real bugs. There is currently no follow-up development information.
AI-generated from public reports
Latest development · Report
The /statechart skill in pstack v0.15.36 is now stable and availableDevelopments
1 confirmed developments
Reports and discussion timeline
Browse reports and discussion by time. Their evidence levels remain distinct.
Oct 30
Lauren Tan
The /statechart skill in pstack v0.15.36 is now stable and available
The /statechart skill in pstack v0.15.36 is now stable and available. It can work together with /create-formal-verification-skill to perform abstract modeling of state machines and distributed systems in order to find bugs. This skill has a built-in mini tlc compiler that can parse and lower to a small IR, and the backend outputs mmd syntax; the author has already used it to find 2 real bugs.