spec-generation
TLA+ spec generation from a modeling brief. Use when: (1) turning code analysis findings into a TLA+ specification, (2) generating model checking and trace validation specs, (3) producing instrumentation mappings for trace collection.
معلومات المصدر
- المستودع
- specula-org/Specula
- آخر نشاط في المصدر
- ١٠ أغسطس ٢٠٢٦ في ١٧:٣٠
- لغة SKILL.md المكتشفة
- الإنجليزية
- النجوم
- ٤٢١
- التفرعات
- ٤٥
خيارات التثبيت
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
مراجعة ملفات المصدر
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
