찐 탑티어 그록봇 유저들이 작업 대부분을 커서 프로젝트로 옮기고 있는 이유!

찐 탑티어 그록봇 유저들이 작업 대부분을 커서 프로젝트로 옮기고 있는 이유!

제가 요즘 개발 꿀빠는 방법입니다.
커서 클라우드 에이전트 사용해서 pstack 사용하도록 설정하면
비개발자도 연봉 6천이상의 주니어급 개발자를 24시간 고용한 느낌에 개발 자동화를 구축하실수 있습니다.

Grok Bot 개발자 lauren(@poteto)은 pstack 플러그인을 직접 만든 사람입니다.
단순히 코드를 많이 짜는 게 아니라, AI가 “제대로 된 엔지니어링”을 하도록 만드는 쪽에 집중하는 인물이에요.

이런 트윗이 올라왔습니다.
“좋은 프롬프트: ‘내 앱에 있는 모든 암묵적 상태 기계(implicit state machines)를 찾아줘’”

lauren의 답변:
그다음에 이걸 써봐.
“/create-formal-verification-skill을 써서 이 상태 기계들을 서브시스템별로 모델링해. 그리고 /statechart로 가장 중요한 사용자 흐름을 시각화해”

1. 암묵적 상태 기계(Implicit State Machine)가 뭐예요?
   앱은 사실 여러 “상태”를 왔다 갔다 합니다.
   예: 로그인 전 → 로그인 중 → 로그인 완료 → 에러 발생 → 재시도 등.

그런데 많은 코드에서는 이 상태를 명확히 정리하지 않고, if문·플래그·변수로 여기저기 흩어져 있어요. 이걸 **암묵적(implicit)**이라고 합니다.
결과적으로 “이 버튼 누른 다음 저 버튼 누르면 이상하게 동작해” 같은 버그가 잘 생깁니다.

2. pstack이 뭐예요?
   Cursor에서 쓰는 플러그인입니다. AI에게 “그냥 코드 짜라”가 아니라, 검증·테스트·설계를 더 엄격하게 하도록 가르치는 스킬 모음이에요.
   poteto가 만든 것으로, “슬롭 코드(대충 만든 코드)”를 줄이고 제대로 검증된 코드를 목표로 합니다.

3. /create-formal-verification-skill
   “형식 검증(Formal Verification)”용 스킬을 만들어 주는 도구입니다.

일반 테스트: 사람이 생각한 몇 가지 경우만 확인
형식 검증: “이 규칙이 항상 맞는가?”를 수학적으로(모델 체커 등으로) 거의 모든 경우를 확인
상태 기계처럼 “순서”나 “동시성”이 중요한 부분, 테스트로 잘 안 잡히는 부분을 특히 잘 잡습니다.
서브시스템별로 하나씩 스킬을 만들라고 한 이유가 이거예요.

4. /statechart
   TLA+ 같은 형식 모델을 기반으로, 상태 흐름을 Mermaid 다이어그램으로 그려 줍니다.
   *(TLA는 시스템의 동작 규칙과 상태 변화를 수학적으로 정확하게 적어놓고, 컴퓨터가 가능한 모든 경우를 검사해서 버그가 없는지 검증할 수 있게 해주는 형식 명세 언어예요.)

어떤 상태가 규칙을 깨는지 표시해주고,
버그가 나는 가장 짧은 경로를 보여 줍니다.
중요한 사용자 흐름을 한눈에 볼 수 있게 해 줍니다.

사람이 보고 “아, 여기서 이상하게 넘어가네” 하고 바로 이해할 수 있게 만드는 스킬입니다.

실무적으로 AI에게 코드를 많이 시키다 보면, 겉보기엔 잘 동작하는데 특정 순서나 타이밍에서만 터지는 버그가 자주 생깁니다.
그때 이 스킬이 굉장히 유용합니다.
(제가 만들고 있는 서비스에 상태를 보여주는 이미지를 첨부했습니다.)

이 두 스킬을 조합하면:
암묵적 상태 기계를 찾아내고
형식 검증으로 “항상 이 규칙이 지켜지는지” 확인하고
상태차트로 시각화해서 사람과 AI가 같이 검증할 수 있습니다.

특히 결제 흐름, 권한 변경, 로딩/에러 처리, 멀티 스텝 폼, 동시성 있는 작업 등에 효과가 큽니다.
실제로 pstack 사용자들 중에는 “테스트는 다 통과했는데 안 잡히던 버그를 찾았다”는 반응이 꽤 있습니다.

초보자가 바로 써보려면
Cursor에서 pstack 플러그인 설치 (/add-plugin pstack 또는 GitHub 안내 참고)
원하는 프로젝트에서
/create-formal-verification-skill 호출해서 중요한 부분 모델링
/statechart로 중요한 사용자 흐름 시각화
완전히 형식 검증 전문가가 될 필요는 없고, AI가 모델링하고 다이어그램을 그려주니까 초보도 결과물을 보고 판단할 수 있게 설계되어 있습니다.

요약하면, “앱에 숨어 있는 상태 기계를 찾아내고, 그걸 수학적으로 검증한 다음, 그림으로 보여줘라”는 흐름을 pstack 스킬로 자동화할수 있습니다.

AI 코딩 도구를 더 신뢰할 수 있게 만드는 실용적인 접근입니다.

저 같은 비개발자가 이런 스킬만으로 개발자와 같은 접근을 할 수 있다는 게 놀라운 세상입니다.
https://t.co/hZ7BBrJG80

try this next “use /create-formal-verification-skill to model these state machines, one skill per subsystem. and use /statechart to visualize my most important user flows”

both skills are in pstack

https://t.co/SxilBe4Diu