validation-workflow
TLA+ Verification workflow (orchestration). Use when: running the full verification loop — iterating between trace validation and model checking until both pass, ensuring spec faithfully models the system.
معلومات المصدر
- المستودع
- specula-org/Specula
- آخر نشاط في المصدر
- ٢٥ يوليو ٢٠٢٦ في ٠٤:٤٢
- لغة SKILL.md المكتشفة
- الإنجليزية
- النجوم
- ٤٢١
- التفرعات
- ٤٥
خيارات التثبيت
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
مراجعة ملفات المصدر
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
