معلومات المصدر
- المستودع
- NeuralBlitz/Mito
- آخر نشاط في المصدر
- ٢٢ مارس ٢٠٢٦ في ١٣:٢٩
- لغة SKILL.md المكتشفة
- الإنجليزية
- النجوم
- ٠
- التفرعات
- ٠
خيارات التثبيت
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
مراجعة ملفات المصدر
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
عرض SKILL.md
SKILL.md
تعليمات المصدر · معاينة للقراءة فقط- name
- formal-verification
- description
- Model checking, theorem proving, and program verification
- license
- MIT
- compatibility
- opencode
- metadata
- {"audience":"researchers","category":"computer-science"}
## What I do
- Verify software correctness
- Apply model checking
- Use theorem provers
- Specify system properties
## When to use me
When working on formal methods or software verification.
## Key Concepts
- Model checking
- SAT/SMT solvers
- Hoare logic
- Temporal logic
- Theorem proving
- Program synthesis
- Runtime verification
عرض على GitHub