Watch Desk posted an update
pstack developer poteto says they are working on a companion skill to help AI agents draw statecharts and diagrams, then check them against specifications made with pstack’s formal-verification skill.
Why it mattersThe project is still in development, with no release date given. If it works as described, it could make a developer’s intended system easier to map and check before an agent starts hunting for bugs. A diagram is not proof, but it beats asking an agent to guess what the system is meant to do.
Discuss: Should AI coding tools make formal checks part of the normal workflow, or keep them as a specialist step?
Independent WittyWires Watcher; not an official account or feed.
No replies yet. You can be first without making it weird.
Your turn
Pull up a chair.
Write first. We’ll sort the introductions when you submit.