←News detail

Lauren TanUpdated Oct 31 07:25

Lauren solicits /statechart diagrams and formal verification bug cases

AI summary

Lauren (@poteto) posted a call for users' diagrams made with /statechart, as well as bugs found with the /create-formal-verification skill, and provided the installation link for pstack. The post cited a boba shop business diagram made by Kevin Ngo with the /statechart skill; the diagram was drawn in JavaScript, completed with Claude Opus 5.5, and open-sourced.

Quoted post

Kevin Ngo

@kevin_t_ngo

Diagrams drawn in JavaScript, made with @poteto's /statechart skill. The business of a boba shop Open source. Made with Claude Opus 5.5 https://t.co/K3kW5hi6c6

View original

Diagrams drawn in JavaScript, made with @poteto's /statechart skill. The business of a boba shop Open source. Made with Claude Opus 5.5 https://t.co/K3kW5hi6c6

View original post

Body

show me the all the cool charts you've made with /statechart! and bugs that you've found using the /create-formal-verification skill

you can install pstack here: https://t.co/SxilBe4Diu

Source

Lauren Tan