المهنة
مطوّرو البرمجيات
الوصف
Use this skill for high-assurance validation of reasoning, claims, and proof sketches with the repository's full workflow or direct SMT/Lean checks.
لغة النص الأصلي: الإنجليزية
آخر تحديث
Tyler-R-Kendrick/agentic_validation
- آخر نشاط مصدر مسجل
- آخر تحديث لفهرس SkillsMP
- skills مجمعة
- ١
- نجوم GitHub
- ٠
- تفرعات GitHub
- ٠
جارٍ تحميل ملف README للمستودع…
Skills في هذا المستودع
١ فئات مهنية · 100% مصنفة
عرض ١ من أصل ١ skills مجمعة.
skill
المهنة
الوصف
آخر تحديث
عرض ١ من أصل ١ skills مجمعة.
التثبيت بمساعدة مساعد ذكي
انسخ هذا الطلب إلى المساعد الذكي الذي تستخدمه.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/Tyler-R-Kendrick/agentic_validation.