Mathematical visualization skill for equations, proofs, and geometric concepts. **Triggers when:** - User mentions equations, formulas, or mathematical expressions - Request involves mathematical proofs or derivations - Content includes geometric relationships - User mentions LaTeX, calculus, algebra, geometry, trigonometry - Patterns: "equation", "formula", "prove", "derive", "graph", "plot" **Capabilities:** - LaTeX equation rendering with color-coded components - Function graphing and transformations - Geometric constructions and proofs - 3D mathematical surfaces - Step-by-step derivations with highlights
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
rohitg00/manim-video-generator☆ 3072026년 1월 29일 업데이트
Narrative-driven animation skill for explanatory content and visual storytelling. **Triggers when:** - User wants to explain a concept or process - Request involves step-by-step demonstrations - Content is educational or tutorial-like - User mentions "explain", "show how", "demonstrate", "walk through" **Capabilities:** - Breaking concepts into digestible visual steps - Progressive revelation of information - Highlighting cause-and-effect relationships - Building intuition through visual metaphors
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
rohitg00/manim-video-generator☆ 3072026년 1월 29일 업데이트
Design a Seedance 2.0 two-player co-op game menu or opening animation with stable character bindings, approved visual direction, readable UI copy, coordinated palette, explicit interaction events, and a clean final menu state. Use for game concepts and character-led social intros; not for playable game development or copying commercial game branding.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
T8mars/minimax-h3-prompt-skill-T8☆ 2972026년 10월 18일 업데이트
Create original relaxed black-pen graphics from concepts or visual references, including sparse illustrations, narrative scenes, animals, objects, abstract relationships, icons, and logo marks. Use when the user wants quick hand-drawn line energy, causal story staging, non-equilibrium proportion, shorthand forms, open contours, structural line drift, misregistered junctions, selective retracing, physical pen texture, or a transferable illustration system that must not collapse into clean vector minimalism or polished period-sketch drawing.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
haorantang97/LabArt☆ 2892026년 10월 15일 업데이트
Generate thumbnail concepts and ideas for YouTube, TikTok, and other video platforms. Creates detailed visual briefs with composition, text, colors, and emotion suggestions. Use when planning thumbnails, improving CTR, or briefing designers.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
nicepkg/ai-workflow☆ 2882026년 1월 20일 업데이트
Use when validating product assumptions before building, discovering unmet user needs, understanding customer problems and workflows, testing concepts or positioning, researching target markets, identifying jobs-to-be-done and hiring triggers, uncovering pain points and workarounds, or when users mention user research, customer interviews, surveys, discovery interviews, validation studies, or voice of customer.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
nicepkg/ai-workflow☆ 2882026년 1월 20일 업데이트
Applies the reasoning, principles, and frameworks of Andrew Ng (machine learning pioneer, co-founder of Coursera and DeepLearning.AI, Stanford University, and former Google Brain lead). Use this skill whenever the user is navigating AI application development, agentic workflows, automation strategy, AI-native software engineering, or rapid prototyping. Trigger this skill when discussing career advice in the AI era, evaluating AI regulations, structuring machine learning projects, or deciding how to integrate AI into a business. It emphasizes task-based automation, data-centric ML, and driving the cost of proof-of-concepts to zero.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
K-Dense-AI/mimeo☆ 2852026년 9월 3일 업데이트
Full Ad Strategy Orchestrator. Launches 5 parallel subagents to build a complete advertising strategy from a single URL — audience personas, creative concepts, funnel architecture, competitive intelligence, and budget allocation. Produces a composite Ad Readiness Score (0-100) with a unified, client-ready strategy report.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
zubair-trabzada/ai-ads-claude☆ 2722026년 4월 8일 업데이트
Generate formal specifications (definitions, predicates, invariants, pre/post-conditions) in Isabelle/HOL or Coq from informal requirements, source code, pseudocode, or mathematical descriptions. Use when users need to: (1) Formalize algorithms or data structures, (2) Create function specifications with contracts, (3) Generate predicates and properties for verification, (4) Translate informal requirements into formal logic, (5) Specify invariants for loops or data structures, or (6) Create formal definitions for mathematical concepts. Supports both Isabelle/HOL and Coq equally.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
ArabelaTso/Skills-4-SE☆ 2572026년 8월 21일 업데이트
Explain why counterexamples violate specifications by analyzing formal specifications (temporal logic, invariants, pre/postconditions, code contracts), informal requirements (user stories, acceptance criteria), test specifications (assertions, property-based tests), and providing step-by-step traces showing state changes, comparing expected vs actual behavior, identifying root causes, and assessing violation impact. Use when debugging test failures, understanding model checker output, explaining runtime assertion violations, analyzing static analysis warnings, or teaching specification concepts. Produces structured markdown explanations with traces, comparisons, state diagrams, and cause chains. Triggers when users ask why something failed, explain a violation, understand a counterexample, debug a specification, or analyze why a test fails.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
ArabelaTso/Skills-4-SE☆ 2572026년 8월 21일 업데이트
Writes on-brand social media captions for SMBs. Takes post concepts or a content calendar and produces ready-to-post captions with hooks, body copy, CTAs, and hashtags. Reads brand-style.md for voice and tone. Supports Instagram, LinkedIn, Facebook, TikTok, and X. Batch and single-post modes. Optional trend and competitor research via Firecrawl and SerpApi.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
stevenflanagan1/social-ai-team☆ 2512026년 10월 7일 업데이트
Manages the Morphir knowledge base under kb/ — OKF bundles and concept documents. Use when adding content to a bundle, creating a new bundle, checking the knowledge base for conformance or provenance drift, building or querying its SQLite index, managing intent through its lifecycle, recording or reading architectural decisions as Decision Records, or navigating, searching and listing its bundles, concepts and links.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
finos/morphir☆ 2152026년 10월 20일 업데이트
Provider-independent storyboard and previsualization direction for AI agents turning briefs, scripts, treatments, ads, films, social videos, and generated-media concepts into shot-by-shot boards, animatics, previs plans, camera/blocking/movement direction, reference packs, AI image/video prompt plans, review workflows, continuity checks, and production handoffs.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
calesthio/generative-media-skills☆ 2082026년 7월 14일 업데이트
Provider-independent real estate media production for listing photos, virtual staging, property videos, walkthrough reels, floor-plan explainers, neighborhood clips, renovation concepts, agent ads, and generated or retouched property visuals. Use when creating, editing, reviewing, prompting, packaging, or approving real estate marketing content where property truthfulness, listing/MLS compliance, fair-housing risk, staging disclosure, privacy, accessibility, platform variants, or real-estate QA matter.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
calesthio/generative-media-skills☆ 2082026년 7월 14일 업데이트
Provider-independent workflow for producing UGC-style paid and social ads, creator testimonials, product demos, hooks, before/after concepts, app walkthroughs, TikTok/Reels/Shorts variants, synthetic-persona or avatar UGC, ad-policy checks, disclosure planning, rights/consent review, delivery specs, and QA.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
calesthio/generative-media-skills☆ 2082026년 7월 14일 업데이트
Use when tutoring a student in MATLAB programming, coaching beginners, explaining MATLAB concepts interactively, or running a conversational AI tutor session.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
matlab/agent-skills-playground☆ 1892026년 10월 15일 업데이트
Use when an AI tutor session concerns MATLAB programming concepts, MATLAB syntax, MATLAB errors, MATLAB code style, MATLAB projects, or MATLAB toolbox workflows.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
matlab/agent-skills-playground☆ 1892026년 10월 15일 업데이트
Create mathematical animations with Manim Community Edition(manimce), with optional TTS voiceover and synced subtitles. Generates distinctive, production-grade animations that avoid generic "AI slop" aesthetics. Use when user wants to animate concepts, equations, illustrate proofs, visualize algorithms, create math explainers, or produce 3Blue1Brown-style videos.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Yusuke710/manim-skill☆ 1792026년 10월 7일 업데이트
Kubernetes is the operating system for the cloud. It schedules containers, handles networking, manages storage, and keeps your apps running. But K8s has a steep learning curve - abstractions on abstractions on abstractions. This skill covers the core concepts (Pods, Deployments, Services), production patterns (health checks, resource limits, HPA), and the gotchas that catch everyone (namespace confusion, service discovery, secret management). 2025 reality: You probably don't need to run your own cluster. Use managed K8s (EKS, GKE, AKS) unless you have a very good reason not to. Focus on writing good manifests, not managing etcd. Use when "kubernetes, k8s, kubectl, deployment manifest, helm chart, kustomize, pod, service yaml, ingress, horizontal pod autoscaler, hpa, kubernetes, k8s, containers, orchestration, devops, cloud-native, helm, kustomize" mentioned.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
omer-metin/skills-for-antigravity☆ 1682026년 1월 22일 업데이트
World-class explainer video expertise combining the visual storytelling of Kurzgesagt, the simplification genius of Common Craft, and the conversion science of high-performing SaaS landing pages. Explainer videos transform complex ideas into clear, compelling stories. Great explainers don't just inform—they illuminate. They take abstract concepts and make them feel obvious. The best explainer videos understand that simplicity is the ultimate sophistication, that showing beats telling, and that the goal isn't to impress with complexity—it's to make the viewer feel smart. Use when "explainer, explainer video, how it works, product demo, onboarding video, training video, educational video, whiteboard, animated explainer, explain this, simplify, concept video, SaaS video, explainer, video, animation, educational, product, demo, onboarding, SaaS" mentioned.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
omer-metin/skills-for-antigravity☆ 1682026년 1월 22일 업데이트
The craft of communicating technical concepts clearly to developers. Developer communications isn't marketing—it's about building trust through transparency, accuracy, and genuine utility. The best devrel content helps developers solve real problems. This skill covers technical documentation, developer tutorials, API references, changelog writing, developer blog posts, and developer community engagement. Great developer communications treats developers as peers, not leads to convert. Use when "documentation, docs, tutorial, getting started, API reference, changelog, release notes, developer guide, devrel, developer relations, code examples, SDK docs, README, documentation, devrel, tutorials, api-docs, developer-experience, technical-writing, getting-started, changelogs" mentioned.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
omer-metin/skills-for-antigravity☆ 1682026년 1월 22일 업데이트
Guides Lovart Agent from one visual reference to a coherent brand system, campaign assets, and packaging concepts through a gated creative-direction workflow.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
amirmushichge/brand-system-skill☆ 1402026년 8월 12일 업데이트
Searches current documentation, release notes, API references and public repository issues for libraries, frameworks, SDKs, APIs and CLI tools with `firecrawl developer`. Use before answering when the user names a version, is upgrading, pastes an error from a library or tool, or asks how to use, configure or migrate a specific library or API. Model knowledge stops at a training cutoff and misses new releases, renamed APIs, changed defaults and recent fixes, so when a version, option, error or API is unfamiliar or may have changed, look it up instead of guessing. Also checks whether a bug was fixed and in which release. Not for general programming concepts, code that uses no specific library, or refactoring code the user supplied.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
firecrawl/skills☆ 1322026년 10월 20일 업데이트
Applies the philosophical frameworks of Plato (ancient Greek philosopher, Theory of Forms, founder of the Academy) to structural, ethical, and epistemological problems. Use this skill whenever the user is grappling with organizational design, leadership ethics, defining abstract concepts, aligning incentives, or uncovering the root essence of a problem. Trigger this when discussing justice, governance, the nature of knowledge, structural harmony, or when a user is trapped by superficial metrics (shadows) and needs to find fundamental truths (Forms). Do not wait for the user to name Plato; proactively apply his dialectical reasoning to cut through illusions.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
K-Dense-AI/mimeographs☆ 1292026년 8월 19일 업데이트