새로운 기술을 생성하거나 기존 기술을 편집하거나 배포 전에 기술이 작동하는지 확인할 때 사용 - 작성하기 전에 하위 에이전트로 테스트하여 프로세스 문서에 TDD를 적용하고 합리화에 대해 완벽해질 때까지 반복합니다
복잡한 설정 없이 워크플로우에 빠르게 통합
활발한 오픈소스 커뮤니티의 지속적인 업데이트
MIT/Apache 라이선스로 상업적 및 개인적 사용 가능
필요에 따라 사용자 정의 및 확장 가능
소스 리포지토리에서 스킬 파일 다운로드 또는 복사
스킬 파일을 Claude의 스킬 디렉토리에 배치 (일반적으로 ~/.claude/skills/）。
Claude를 재시작하거나 리로드 명령을 실행하여 스킬 로드
팁: 처음 사용하기 전에 스킬의 문서와 코드를 주의 깊게 읽고 기능과 권한 요구사항을 이해하세요
모든 스킬은 오픈소스 커뮤니티에서 제공되며 원 작성자의 저작권을 보존합니다
obra__superpowers/skills/writing-skills/SKILL.md검증된 이점과 측정 가능한 영향
형식적 검증으로 배포 전 취약점을 발견하세요
증명 검사를 자동화하여 보안 검토 속도 향상
모든 중요 경로에 공식적인 명세가 있는지 보장하세요
다음 시나리오에 적합
형식적 방법을 사용하여 Move 계약의 정확성을 자동으로 검증
형식 명세를 작성하여 중요한 버그를 조기에 발견하세요
복잡한 DeFi 프로토콜의 전역 불변성을 증명
전문가의 지도로 실패한 Move Prover 증명 수정