create-formal-verification-skill

버그 비용이 가장 크고 테스트가 가장 적게 도달하는 곳에서 코드를 형식적으로 검증하는 프로젝트 로컬 스킬을 생성하세요. 어떤 언어든, 어떤 검증 도구든 적합한 것으로. /create-formal-verification-skill, "model-check this race", "prove this invariant", 또는 동시성, 재시도, 상태 머신, 파서, 또는 unsafe 코드가 테스트보다 더 많이 필요할 때 사용하세요.