
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