lauren teases that the pstack statechart skill is about to be released
lauren says they have been relatively quiet lately and are developing a new companion skill to help agents draw statecharts/diagrams and check them against specifications generated by users with /create-formal-verification-skill in pstack. The skill now uses @kepano's Pele, so the diagrams look better, and it is about to be released.
Topics
View original postthere's something really cool about asking your agent to draw a statechart (hypothetical example in this image), then using the /create-formal-verification-skill you made with pstack to find bugs through something like TLA+. you can both understand your code better and how the user flow should work, and fix issues users would otherwise see
View original
there's something really cool about asking your agent to draw a statechart (hypothetical example in this image), then using the /create-formal-verification-skill you made with pstack to find bugs through something like TLA+. you can both understand your code better and how the user flow should work, and fix issues users would otherwise see
Body
i've been a bit quiet - working on a new companion skill that will help your agents draw these beautiful statecharts/diagrams + check them against the specs you made with /create-formal-verification-skill in pstack!
it now uses Pele from @kepano too which is why they look so good.
will release soon!