★ 650 · Updated 2026-03-09
Create implementation tickets with proper format, conventions, and frontmatter structure.
Browse skills that produce this output.
★ 650 · Updated 2026-03-09
Create implementation tickets with proper format, conventions, and frontmatter structure.
★ 650 · Updated 2026-03-09
Downloads videos and audio from thousands of websites including YouTube, Bilibili, Vimeo, and more
★ 5 · Updated 2026-02-13
Execute general implementation tasks following a plan
★ 5 · Updated 2026-02-13
Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research.