커서(Cursor) 개발자가 매일 쓰는 에이전트 스킬 묶음 pstack을 Claude Code에 깔고, 형식 검증(TLA+)으로 테스트가 놓친 버그를 찾아 고쳤습니다. 오픈소스 코드를 한 줄씩 열어 "이 부분은 이렇게 동작해서, 그래서 에이전트가 이렇게 일했다"까지 짝지어 봤습니다.
