AI Coding Skills Directory

This skill helps you refine Chinese LaTeX thesis writing, ensuring structure, style, and formatting while preserving citations and math.

This skill assists Chinese LaTeX thesis writing by guiding structure, formatting, and academic language while preserving citations and equations.

Build location-aware applications with LatLng APIs. Use when Codex needs to add, debug, or document geocoding, reverse geocoding, places search, nearby places, place categories, static maps, Leaflet r

This skill masters go-to-market planning and launch execution to coordinate teams and achieve rapid market momentum.

This skill helps you launch Dagster assets with guided configuration, partitions, and environment setup, delivering ready-to-run commands.

Build a bot that detects new Solana launches (mints/LPs) and sends safe alerts. Use for discovery and monitoring without shilling scams.

This skill helps craft launch copy and position products using April Dunford's framework and Airbnb's go-to-market approach for features.

When the user wants to plan a product launch, feature announcement, or release strategy. Also use when the user mentions 'launch,' 'Product Hunt,' 'feature release,' 'announcement,' 'go-to-market,' 'beta launch,' 'early access,' 'waitlist,' or 'product update.' This skill covers phased launches, cha

This skill helps plan phased product launches, optimize channel mix, and sustain momentum through owned, rented, and borrowed channels.

LayerChart Svelte 5 patterns. Use for chart components with tooltip snippets, Chart context access, and all Svelte 5 snippet patterns for tooltips, gradients, highlights, and axes.

Load agent definitions on-demand to reduce context usage. Only loads full agent when needed.

This skill creates high-value lead magnets and downloadable assets that convert visitors into subscribers and boost perceived authority.

Build League of Legends apps using league-sdk TypeScript library. Use when working with Riot API, summoner/player lookups, match history, champion mastery, ranked stats, live game spectator, or building LoL Discord bots, websites, or apps.

This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across sessions using MCP memory server integration

Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or searching mathlib for lemmas - provides build-first workflow, haveI/letI patterns, compiler-guided repair, and LSP integration

This skill helps you publish LeanSpec packages to npm by coordinating versioning, platform binaries, and automated release workflows.

This skill guides AI-assisted LeanSpec projects through spec-driven planning and progressive implementation, ensuring validated changes align with real code

This skill helps you integrate on-device AI with LEAP Edge SDK for Android and iOS, enabling streaming conversations and offline inference.

This skill summarizes key session learnings and persists them into a learnings log for organized reuse.

This skill guides you through solving problems yourself using the Socratic method, helping you learn concepts before coding.

This skill helps you learn new tech faster with Claude as your tutor, guiding just-in-time, exploratory, and reference learning for practical results.

This skill helps you capture and summarize learnings from conversations, turning discussions into actionable notes and study materials.

This skill analyzes learning strategies against first principles to diagnose flaws, optimize plans, and boost efficient, self-driven learning.

Load automatically when user asks to learn Medusa development (e.g., "teach me how to build with medusa", "guide me through medusa", "I want to learn medusa"). Interactive guided tutorial where Claude acts as a coding bootcamp instructor, teaching step-by-step with checkpoints and verification.

整理与重构已有学习笔记：重划边界、归类重组、合并冗余、精简口语化表达；优化排版与可读性；为各部分补充引导与注释；按从基础到高级建立学习路径并打通知识关联；同时尽量保留原文 Markdown/HTML 强调标记（如 ==高亮==、、Setext 标题等），输出结构清晰、可检索、便于长期维护的笔记体系。