poteto@poteto

快給我看看你們用 /statechart 做出來的各種酷炫圖表！還有用 /create-formal-verification 技能抓到的 bug pstack 在這裡就能裝

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://github.com/cursor/plugins/tree/main/pstack