enforce-contract
Installation
SKILL.md
Enforce Contract Skill
觸發時機
- 編寫單元測試前
- 實作
analyze-frame產出的規格時 - 代碼提交（commit）前
- 實作新方法時
- AI 生成代碼後的驗證
核心任務
透過 Design by Contract 明確定義每個方法的邊界條件，極大化減少 AI 幻覺。
契約式設計三要素
Related skills
More from knowlet/skills
multi-model-reviewer
協調多個 AI 模型（ChatGPT、Gemini、Codex、QWEN、Claude）進行三角驗證，確保「Specification == Program == Test」一致性。過濾假警報後輸出報告，大幅減少人工介入時間。
13spec-compliance-validator
驗證規格檔案的完整性與一致性，確保所有必要的規格元素都已定義且符合標準格式。
10arch-guard
進行代碼重構或新增模組時觸發。確保程式碼符合 Clean Architecture + DDD + CQRS 的層次關係，防止架構腐化。
9code-reviewer
Automated code review that checks code quality, Clean Architecture compliance, DDD patterns, coding standards, and spec traceability.
9saga-orchestrator
處理跨 Frame 的複雜業務流程，協調多個 Sub-agent (command/query/reactor) 完成 Saga/Choreography 模式的分散式交易。當需求涉及多個狀態變更、事件反應與查詢的組合時使用。
9coding-standards
代碼實作階段觸發。強制執行統一的編碼規範，支援 Java、TypeScript、Go 多語言。包含 Input/Output 模式、依賴注入、不可變物件等規範，確保代碼風格一致性。
8