التحقق الآلي من العقود واكتشافها ومعالجتها عبر لغات متعددة باستخدام الشروط المسبقة الرسمية والشروط اللاحقة والثوابت. توفر هذه المهارة كلاً من الوثائق المرجعية وإمكانات التنفيذ للخطة الكاملة -> إنشاء -> التحقق -> معالجة سير العمل.
ثبّت مهارة الذكاء الاصطناعي design-by-contract بسرعة في بيئة التطوير لديك عبر سطر الأوامر
المصدر: microck/ordinary-claude-skills.
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 |
التحقق الآلي من العقود واكتشافها ومعالجتها عبر لغات متعددة باستخدام الشروط المسبقة الرسمية والشروط اللاحقة والثوابت. توفر هذه المهارة كلاً من الوثائق المرجعية وإمكانات التنفيذ للخطة الكاملة -> إنشاء -> التحقق -> معالجة سير العمل. المصدر: microck/ordinary-claude-skills.
حقول وأوامر مستقرة للاقتباس في أنظمة الذكاء الاصطناعي والبحث.
npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contractالتحقق الآلي من العقود واكتشافها ومعالجتها عبر لغات متعددة باستخدام الشروط المسبقة الرسمية والشروط اللاحقة والثوابت. توفر هذه المهارة كلاً من الوثائق المرجعية وإمكانات التنفيذ للخطة الكاملة -> إنشاء -> التحقق -> معالجة سير العمل. المصدر: microck/ordinary-claude-skills.
افتح الطرفية أو أداة سطر الأوامر لديك مثل Terminal أو iTerm أو Windows Terminal انسخ ونفّذ هذا الأمر: npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contract بعد التثبيت، سيتم إعداد المهارة تلقائيا في بيئة البرمجة بالذكاء الاصطناعي لديك وتصبح جاهزة للاستخدام في Claude Code أو Cursor أو OpenClaw
https://github.com/microck/ordinary-claude-skills