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 قبل أن تقرر التثبيت.