Skip to main content

zulip-extract

Extract Zulip thread HTML dumps into readable plain text. Use when the user provides a Zulip HTML file or asks to parse/read/convert/summarize a Zulip thread.

الانتقال إلى التثبيت

معلومات المصدر

المستودع
leanprover/lean4
آخر نشاط في المصدر
١٩ فبراير ٢٠٢٦ في ١٢:٤٨
لغة SKILL.md المكتشفة
الإنجليزية
النجوم
٨٬٨٢٧
التفرعات
٩٣٧

خيارات التثبيت

يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.

مراجعة ملفات المصدر

اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.