تشغيل أي مهارة في Manus
بنقرة واحدة

تشغيل أي مهارة في Manus بنقرة واحدة

ابدأ الآن

tdwag123

ملف منشئ GitHub

tdwag123

عرض على مستوى المستودعات لـ 1 skills مجمعة عبر 1 مستودعات GitHub.

github/tdwag123 أكبر مستودع: Vibe-Proving-Skills

skills مجمعة

1

مستودعات

1

محدث

2026-04-23

خريطة المستودعات

أين توجد skills

أهم المستودعات حسب عدد skills المجمعة، مع حصتها من كتالوج هذا المنشئ وانتشارها المهني.

Vibe-Proving-Skills

1 skills · 2026-04-23

مطوّرو البرمجيات

1 فئات مهنية · 100% مصنفة

مستكشف المستودعات

المستودعات و skills الممثلة

منشئ/مستودع/skill

Vibe-Proving-Skills

1 skills30تم التحديث 2026-04-23

100% من المنشئ

skill

المهنة

الوصف

آخر تحديث

lean4-guidelines

مطوّرو البرمجيات

Lean 4 formalization and proving workflow. Use for theorem formalization, definition design, proof construction, and proof repair with MCP self-check and Mathlib-first reuse.

عرض 1 من أصل 1 مستودعات

تم تحميل كل المستودعات

تشغيل أي مهارة بنقرة واحدة