poteto@poteto

pstack v0.15.36의 /statechart 스킬 이제 안정화돼서 써도 돼! /create-formal-verification-skill이랑 같이 쓰는 게 제일 좋고, 상태 머신이랑 분산 시스템을 추상적으로 모델링해서 버그 찾는 데 쓰면 돼. 스킬 안에 미니 tlc 컴파일러가 있어서 파싱하고, 작은 IR로 로워링하고, 백엔드가 mmd 문법으로 출력해. 원하면 agent한테 네가 좋아하는 스타일로 차트 그려달라고 해도 돼. 스킬이 pele.run 쓰라고 알려주는데 테마를 엄청 바꿀 수 있어서 설계도 스타일이든 손그림 백과사전 일러스트든 맘대로 만들 수 있어 이건 /statechart 스킬 차트랑 방금 찾은 실제 버그 2개야. 써보고 어떤지 알려줘!

the /statechart skill in pstack v0.15.36 is now stable and ready for use! it's best combined with /create-formal-verification-skill to abstractly model state machines and distributed systems to find bugs. the skill contains a mini tlc compiler that parses, lowers to a small IR, and has a backend that outputs mmd syntax. if you want you can also ask your agent to create charts in whatever style you like, the skills tells it to use https://pele.run/ which is very themeable so you can make blueprints, hand drawn encyclopedia illustrations or whatever you like here's a chart of the /statechart skill and 2 real bugs i just found. try it out and let me know what you think!