design-by-contract
✓공식적인 전제 조건, 사후 조건 및 불변성을 사용하여 여러 언어에 걸쳐 자동화된 계약 확인, 탐지 및 수정을 수행합니다. 이 기술은 전체 PLAN -> CREATE -> VERIFY -> REMEDIATE 워크플로우에 대한 참조 문서 및 실행 기능을 모두 제공합니다.
SKILL.md
Design-by-Contract (DbC) is a programming methodology that uses formal specifications (contracts) to define component behavior. This skill enables:
Principle: Use compile-time verification before runtime contracts. If a property can be verified statically, do NOT add a runtime contract for it.
| Property | Static | Test Contract | Debug Contract | Runtime Contract |
공식적인 전제 조건, 사후 조건 및 불변성을 사용하여 여러 언어에 걸쳐 자동화된 계약 확인, 탐지 및 수정을 수행합니다. 이 기술은 전체 PLAN -> CREATE -> VERIFY -> REMEDIATE 워크플로우에 대한 참조 문서 및 실행 기능을 모두 제공합니다. 출처: microck/ordinary-claude-skills.
인용 가능한 정보
AI/검색 인용용 안정적인 필드와 명령어.
- 설치 명령어
npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contract- 카테고리
- >_생산성
- 인증됨
- ✓
- 최초 등록
- 2026-02-01
- 업데이트
- 2026-02-18
빠른 답변
design-by-contract이란?
공식적인 전제 조건, 사후 조건 및 불변성을 사용하여 여러 언어에 걸쳐 자동화된 계약 확인, 탐지 및 수정을 수행합니다. 이 기술은 전체 PLAN -> CREATE -> VERIFY -> REMEDIATE 워크플로우에 대한 참조 문서 및 실행 기능을 모두 제공합니다. 출처: microck/ordinary-claude-skills.
design-by-contract 설치 방법은?
터미널 또는 명령줄 도구(Terminal, iTerm, Windows Terminal 등)를 엽니다 이 명령어를 복사하여 실행합니다: npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contract 설치 후 스킬은 자동으로 AI 코딩 환경에 설정되어 Claude Code나 Cursor에서 사용할 수 있습니다
소스 저장소는 어디인가요?
https://github.com/microck/ordinary-claude-skills
상세
- 카테고리
- >_생산성
- 출처
- skills.sh
- 최초 등록
- 2026-02-01