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

ملف منشئ GitHub

NyxFoundation

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

github/NyxFoundation أكبر مستودع: speca

skills مجمعة

مستودعات

محدث

2026-07-08

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

أين توجد skills

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

#01

speca

2 skills · 2026-02-21

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

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

67%الحصة

#02

docs2formalspec

1 skills · 2026-07-08

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

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

33%الحصة

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

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

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

#001

speca

2 skills44429تم التحديث 2026-02-21

67% من المنشئ

skill

المهنة

الوصف

آخر تحديث

subgraph-extractor

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

Extract program graphs from a single specification document following Nielson & Nielson's formal definition.

2026-02-21

spec-discovery

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

Crawl and discover specification documents from a given URL.

2026-02-05

#002

docs2formalspec

1 skills60تم التحديث 2026-07-08

33% من المنشئ

skill

المهنة

الوصف

آخر تحديث

docs2formalspec

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

Generate an RFC 2119-conformant specification document and a compiling Lean 4 formalization from documentation URLs or file paths.

2026-07-08

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

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