Press Space to continue
Drawing and verifying statecharts against formal specs
Press Space to continue
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!
lauren@poteto3d ago
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
