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

مستكشف الملفات
2 ملفات

عرض SKILL.md

SKILL.md
تعليمات المصدر · معاينة للقراءة فقط
name
zulip-extract
description
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.
# Zulip Thread Extractor Run the bundled script to convert a Zulip HTML page dump into plain text. ## Usage ```bash python3 .claude/skills/zulip-extract/zulip_thread_extract.py input.html output.txt ``` The script has zero dependencies beyond Python 3 stdlib. It extracts sender, timestamp, message content (with code blocks, links, quotes, mentions), and reactions.
عرض على GitHub