المهنة
مطوّرو البرمجيات
الوصف
Optional inert LeanExplore MCP setup helper for Lean declaration search.
لغة النص الأصلي: الإنجليزية
آخر تحديث
Skills في هذا المستودع
hoanganhduc/coding-system-rebuild - الصفحة ٨
جمع SkillsMP عدد ٣٠٣ من skills من hoanganhduc/coding-system-rebuild. افتح أي skill لمراجعة مصدره وتفاصيله.
hoanganhduc/coding-system-rebuildعرض ٢٣ من أصل ٣٠٣ skills مجمعة.
skill
المهنة
الوصف
آخر تحديث
المهنة
مطوّرو البرمجيات
الوصف
Optional local-first Lean formalization intake and suitability decision workflow.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
مطوّرو البرمجيات
الوصف
Scanner-first Lean artifact verification gate that separates typecheck status from claim support.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
المهن الحاسوبية الأخرى
الوصف
Choose an appropriate model, reasoning level, and role for subagents or multi-agent research work.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
معلمو التعليم العالي، جميع الآخرون
الوصف
External paper metadata and discovery fallback.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
معلمو التعليم العالي، جميع الآخرون
الوصف
Single-agent paper review workflow.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
الكتّاب التقنيون
الوصف
Structured reproducible research and workflow orchestration.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
محللو أبحاث السوق ومتخصصو التسويق
الوصف
Scope nontrivial research before execution with evidence plan and workflow recommendation.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
محللو أبحاث السوق ومتخصصو التسويق
الوصف
Run tracked-topic research digests.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
معلمو التعليم العالي، جميع الآخرون
الوصف
Review draft research reports for unsupported claims, ambiguity, and evidence gaps.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
المهن الحاسوبية الأخرى
الوصف
DeepSeek adapter that routes research requests to the Codex-backed local research skills.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
معلمو التعليم العالي، جميع الآخرون
الوصف
Final evidence, date, and gap check before delivery.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
محللو أبحاث السوق ومتخصصو التسويق
الوصف
Run and manage RSS digest workflows.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
مطوّرو البرمجيات
الوصف
Sage-backed math, graph theory, algebra, and verification.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
المهن الحاسوبية الأخرى
الوصف
Log durable learnings and propose canonical repo integration plans across install targets.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
مطوّرو البرمجيات
الوصف
Search prior local agent session logs when explicitly requested.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
محللو أبحاث السوق ومتخصصو التسويق
الوصف
General web and source-gathering research workflow for current-information synthesis.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
معلمو التعليم العالي، جميع الآخرون
الوصف
Evidence-gated journal and conference venue selection for scholarly drafts; deliverable rankings require comparator-paper evidence.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
فنانو المؤثرات الخاصة والمحركون
الوصف
Structural TikZ figure generation, compile, review, and semantic checks.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
موظفو الملفات
الوصف
Vietnam Thu Quan ebook discovery, validation, dry-run download, and Calibre dry-run handoff.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
مطوّرو البرمجيات
الوصف
Plan safe workspace organization with dry-run first, explicit apply, and no silent deletion.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
علماء الأحياء، جميع الآخرون
الوصف
Use when the user wants structured information from public scientific, biomedical, regulatory, materials, or economic databases. This is a reference-first skill for selecting the right database and query strategy.
لغة النص الأصلي: الإنجليزية
آخر تحديث
المهنة
مطوّرو البرمجيات
الوصف
Use when the user wants to organize, rearrange, sort, or clean up workspace files with safe dry-run and explicit apply behavior.
لغة النص الأصلي: الإنجليزية
آخر تحديث
عرض ٢٣ من أصل ٣٠٣ skills مجمعة.