tla-trace-workflow
TLA+ Trace Validation workflow. Use when: (1) validating if a trace matches a TLA+ spec, (2) debugging trace validation failures (TLC reports 'Temporal properties were violated' or validation stops unexpectedly), (3) fixing spec/trace inconsistencies after root cause is identified.
معلومات المصدر
- المستودع
- specula-org/Specula
- آخر نشاط في المصدر
- ٢٠ مايو ٢٠٢٦ في ٠٤:٢٢
- لغة SKILL.md المكتشفة
- الإنجليزية
- النجوم
- ٤٢١
- التفرعات
- ٤٥
خيارات التثبيت
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
مراجعة ملفات المصدر
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
