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.
Body
the /statechart skill in pstack v0.15.36 is now stable and ready for use! it's best combined with /create-formal-verification-skill to abstractly model state machines and distributed systems to find bugs.
the skill contains a mini tlc compiler that parses, lowers to a small IR, and has a backend that outputs mmd syntax. if you want you can also ask your agent to create charts in whatever style you like, the skills tells it to use https://t.co/bbZicR5ePc which is very themeable so you can make blueprints, hand drawn encyclopedia illustrations or whatever you like
here's a chart of the /statechart skill and 2 real bugs i just found. try it out and let me know what you think!