skill-z3-implementation
Implement Z3 constraints. Invoke for Z3-language implementation tasks.
معلومات المصدر
- المستودع
- benbrastmckie/nvim
- آخر نشاط في المصدر
- ١٠ مارس ٢٠٢٦ في ٢٠:١٩
- لغة SKILL.md المكتشفة
- الإنجليزية
- النجوم
- ٤٤٣
- التفرعات
- ٤٥٨
خيارات التثبيت
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
مراجعة ملفات المصدر
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
عرض SKILL.md
- name
- skill-z3-implementation
- description
- Implement Z3 constraints. Invoke for Z3-language implementation tasks.
- allowed-tools
- Task, Bash, Edit, Read, Write