harness-generation
Trace harness generation (Phase 2.5). Use when: (1) instrumenting a system's source code to emit NDJSON traces for TLA+ trace validation, (2) writing test scenarios that exercise protocol code paths, (3) producing the first batch of traces from instrumented tests.
معلومات المصدر
- المستودع
- specula-org/Specula
- آخر نشاط في المصدر
- ٢٥ يوليو ٢٠٢٦ في ٠٤:٤٢
- لغة SKILL.md المكتشفة
- الإنجليزية
- النجوم
- ٤٢١
- التفرعات
- ٤٥
خيارات التثبيت
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
مراجعة ملفات المصدر
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
