★ 0 · 更新于 2026-09-09
将 CSS 文件、复杂选择器和媒体查询转换为 Tailwind 工具类。
浏览使用该输入的技能列表。
★ 0 · 更新于 2026-09-09
将 CSS 文件、复杂选择器和媒体查询转换为 Tailwind 工具类。
★ 279 · 更新于 2026-09-09
Lean 4 定理证明工具包,用于搜索引理、验证证明、修复代码及生成非形式化证明。
★ 816 · 更新于 2026-03-24
通过内置CLI或OpenAI音频API将文本转换为语音,适用于旁白、配音、IVR提示或无障碍朗读。
★ 10 · 更新于 2026-02-13
将普通英语描述转换为GitHub Actions工作流程文件