maintain-formal-verification-skill

코드가 변경된 후 프로젝트의 형식 검증을 코드와 다시 정렬하세요: 검증된 코드를 터치한 커밋을 찾고, 모델, 하니스 또는 속성을 지금 코드를 설명하도록 업데이트하고, 다시 실행하고, 각 실패가 검증의 드리프트인지 코드의 버그인지 말하세요. /maintain-formal-verification-skill, "is the model still true to the code", 또는 검증된 코드를 터치했지만 다시 확인하지 않은 병합 및 리팩토링 후에 사용하세요.