home/categories/testing/knowlet-skills-skills-enforce-contract-skill-md
testingtesting-security

enforce-contract

單元測試與代碼提交前觸發。掃描並驗證方法的 pre-conditions、post-conditions 與 invariants,透過契約式設計減少 AI 幻覺。

knowlet
maintainer
knowlet
अपडेट किया गया 1/8/2026
स्टार
2
फोर्क
0
quick start

Installation and usage

單元測試與代碼提交前觸發。掃描並驗證方法的 pre-conditions、post-conditions 與 invariants,透過契約式設計減少 AI 幻覺。

इंस्टॉलेशन
$ install --globalskills.sh
उपयोग

इंस्टॉल करने के बाद, आप टर्मिनल में यह कमांड चलाकर इस स्किल का उपयोग कर सकते हैं:

skills use enforce-contract