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!