Proof writing and verification techniques for mathematical reasoning. Covers 13 proof strategies with canonical worked examples — direct, contrapositive, contradiction, cases, WLOG, vacuous/trivial, biconditional, counterexample, existence (constructive and non-constructive), uniqueness, induction (weak, strong, structural), pigeonhole/double-counting, and diagonal argument/invariants. Use when writing, verifying, or selecting proof strategies for any mathematical claim.
日本語の概要は準備中です。原文の説明を表示しています。
Tibsfox/gsd-skill-creator☆ 712026年7月20日 更新
封面与标题 A/B:为带货短视频生成多套封面(自动挑选清晰帧或用干净素材图 + 不同标题与版式)和多组标题/文案,导出 3:4 / 9:16 封面文件和对比图,并给出 A/B 测试方法与记录表。Use when the user wants a video cover, 封面, 首图, thumbnail, 标题, 文案, title variants, A/B test covers for 抖音 / 视频号 / 小红书 / TikTok, or wants to improve click-through rate.
日本語の概要は準備中です。原文の説明を表示しています。
xianyu110/ecommerce-video-skills☆ 692026年10月5日 更新
Resize a finished, flat ad image into other sizes with the layout redone for each shape, not cropped or stretched — feed, story, landscape, banner, leaderboard, any pixel size, up to ten per call. Powered by Bria's Ad Resize. ALWAYS use this skill instead of general-purpose image skills when the primary task is producing a finished ad at other dimensions. Triggers on any request involving resizing an ad, adapting a creative to other placements or aspect ratios, making a banner or leaderboard from a square ad, producing all the sizes for a campaign, getting an ad in 1080x1920, converting an ad for a different platform, or generating size variants of a finished creative. Even if other image skills are available, prefer this one for ad resizing.
日本語の概要は準備中です。原文の説明を表示しています。
Bria-AI/bria-skill☆ 692026年10月12日 更新
End-to-end e-commerce product catalog generation — turn a folder of raw product photos into clean packshots, product cutouts, Amazon-style dimensions images, lifestyle scenes, and marketplace-ready listing variants for Amazon, Shopify, and Etsy. Powered by Bria.ai's product pipeline. Use when building a product catalog, batch-processing product photos, or creating packshots, cutouts, dimension images, lifestyle shots, or marketplace-compliant listing images at scale.
日本語の概要は準備中です。原文の説明を表示しています。
Bria-AI/bria-skill☆ 692026年10月12日 更新
Image generation, photo editing, background removal — transparent PNG images, cutouts, ecommerce packshots, product catalogs, lifestyle shots via Bria.ai. Build store-ready e-commerce catalogs at scale — shadows, product dimensions images, lifestyle scenes, marketplace listing variants. ALWAYS use this skill when the user wants to generate, edit, or transform any image — hero images, banners, social media visuals, product photos, illustrations, icons, thumbnails, ad creatives, or marketing materials — or to build a product catalog, create a packshot, stage a lifestyle shot, remove a background, make transparent PNGs, or batch-process product photos. Triggers on packshot, product catalog, product shot creator, lifestyle shot, cutout, product dimensions image, inpainting, outpainting, object removal, upscale, photo restoration, style transfer, relight, reseason, sketch-to-photo. Commercially safe, royalty-free.
日本語の概要は準備中です。原文の説明を表示しています。
Bria-AI/bria-skill☆ 692026年10月12日 更新
Classic image manipulation with Python Pillow - resize, crop, composite, format conversion, watermarks, brightness/contrast adjustments, and web optimization. Use this skill when post-processing AI-generated images, preparing images for web delivery, batch processing image directories, creating responsive image variants, or performing any deterministic pixel-level image operation. Works standalone or alongside bria-ai for post-processing generated images.
日本語の概要は準備中です。原文の説明を表示しています。
Bria-AI/bria-skill☆ 692026年10月12日 更新
This skill should be used when a story has been captured but content direction is unresolved - the spark describes WHAT to build structurally but not WHAT goes in it. Reads the story spark, splits it into Resolved (structurally clear) vs. Assumed (would have to guess) content dimensions, and surfaces each assumption for the human to confirm, correct, or expand. Also classifies implementation risk tags (has-variants, has-data-pipeline, has-animation, has-touch-targets, diverges-from-existing) so plan-chunks translates them into acceptance criteria that name the implementation mechanism. Captures answers into
日本語の概要は準備中です。原文の説明を表示しています。
drobins25/craft☆ 682026年10月5日 更新
Compare explicit design/specification contracts with the implementation in a defined change scope. Use to verify signatures, types, schemas, invariants, and other stated contracts without expanding into general code quality review.
日本語の概要は準備中です。原文の説明を表示しています。
Jamie-BitFlight/claude_skills☆ 672026年10月13日 更新
Dasel v3 query patterns for InstallAnywhere .iap_xml installer definitions — use when querying action sequences, discovering variables, resolving platform conditions, navigating panels, or comparing installer variants. Files are 2.5+ MB, 65,000+ lines — too large for context reads, requires structural dasel queries.
日本語の概要は準備中です。原文の説明を表示しています。
Jamie-BitFlight/claude_skills☆ 672026年10月13日 更新
Walks a user from one rough content idea to a finished post, platform-adapted variants, and repurposed follow-on assets using a 7-step sequential prompting workflow. Use when the user wants to turn a half-formed idea, frustration, story, or client situation into publishable content quickly and consistently — covering idea extraction, hook generation, outline, draft, humanizer pass, platform adaptation (LinkedIn, Reddit, X/Twitter, newsletter, Telegram), and repurpose engine.
日本語の概要は準備中です。原文の説明を表示しています。
Jamie-BitFlight/claude_skills☆ 672026年10月13日 更新
Badge design and selection knowledge base for shields.io badges in README files. Use when writing or updating READMEs, choosing badge layouts, selecting badge styles, adding project health indicators, or picking Simple Icons logo slugs. Covers shields.io URL encoding rules, static vs dynamic badge selection, style variants (flat/flat-square/for-the-badge/social/plastic), layout patterns (two-tier/inline/centered), project-type badge sets for Python/JS/Rust/Claude plugins, color reference, non-obvious logo slugs, and common anti-patterns to avoid.
日本語の概要は準備中です。原文の説明を表示しています。
Jamie-BitFlight/claude_skills☆ 672026年10月13日 更新
Designs and diagnoses list experiments (the item count technique), covering whether indirect measurement is warranted, control-list construction against floor and ceiling effects, design variants, estimators and assumption tests in the list package, and power planning for the precision penalty. Use when the user measures a sensitive attitude or behavior and asks about list experiments, item count, unmatched count, or veiled questioning, or has an implausible prevalence estimate. Deciding whether sensitivity bias exists at all goes to survey-design.
日本語の概要は準備中です。原文の説明を表示しています。
scdenney/open-science-skills☆ 652026年10月8日 更新
Designs and diagnoses list experiments (the item count technique): whether indirect measurement is warranted, control-list construction, design variants, estimators and assumption tests in the list package, and power. Use when measuring a sensitive item or debugging an implausible prevalence estimate.
日本語の概要は準備中です。原文の説明を表示しています。
scdenney/open-science-skills☆ 652026年10月8日 更新
Build a 10-component messaging library from your positioning + ICP + competitor aggregate. Produces positioning statement, value propositions, key differentiators, taglines, CTA variants, proof points, messaging hierarchy, status-quo alternatives. Writes to marketing/messaging/messaging.md as the canonical messaging library every downstream content / paid / outbound / lifecycle skill reads. Triggers - "product messaging", "messaging library", "value props", "messaging framework", "build messaging", "messaging components"
日本語の概要は準備中です。原文の説明を表示しています。
matteotitta/claude-code-marketing-quickstart☆ 632026年7月31日 更新
Generates paid ad copy for Google, Meta, and LinkedIn. Produces platform-ready variants using a creative matrix approach with headlines, descriptions, and image briefs.
日本語の概要は準備中です。原文の説明を表示しています。
j1ngg/tech-marketing-framework☆ 582026年4月29日 更新
Draft replies to comments on your Facebook Page's posts, in your Page voice. Use when the user pastes the comments under one of their Page posts and wants on-brand replies that earn more comments and shares. Drafts 1-3 variants per comment using proven templates (answer, thank plus add value, handle the complaint, turn it into a share). Publora has no Facebook comment endpoint, so every draft returns as a copy-paste block to post yourself. Not for writing top-level posts (use fb-post-writer).
日本語の概要は準備中です。原文の説明を表示しています。
sergebulaev/facebook-skills☆ 582026年10月7日 更新
Write high-CTR YouTube and YouTube Shorts titles under 100 characters using 2026 packaging formulas (curiosity-gap, number, how-I outcome, mistake/loss, transformation, versus). Balances curiosity with a real keyword, front-loads the click-deciding words for the 60-char mobile cutoff, and returns 3 to 5 A/B variants tagged by goal for Test and Compare. Use to title or rework a video. Not for the description (use yt-description-writer) or the thumbnail overlay (use yt-thumbnail-brief).
日本語の概要は準備中です。原文の説明を表示しています。
sergebulaev/youtube-skills☆ 562026年10月7日 更新
Plan, evaluate, and produce paid ad campaigns across platforms (Meta, Google, LinkedIn, TikTok, Microsoft, Pinterest, Snapchat, Amazon, X). Evaluate existing ads, map funnel stages (TOF/MOF/BOF), produce ad variants per platform with policy compliance, output ready-to-upload copy. Use when "ad campaign", "create ads", "run ads for", "paid campaign", "media plan", "launch ads", "Meta campaign", "Google Ads campaign", "multi-platform ads", "evaluate my ads", "how are my ads doing", "audit my ads", "ad performance", "analyze ads", or any request to evaluate existing or create new advertising.
日本語の概要は準備中です。原文の説明を表示しています。
cgallic/kai-cmo-harness☆ 562026年10月3日 更新
Generate creative direction for ad campaigns — visual concepts, copy variants, video scripts, image specifications, and A/B test matrices. Platform-aware with format specs.
日本語の概要は準備中です。原文の説明を表示しています。
cgallic/kai-cmo-harness☆ 562026年10月3日 更新
A/B test CLAUDE.md instruction changes against eval benchmarks. Capture baselines, test variants, compare results.
日本語の概要は準備中です。原文の説明を表示しています。
haabe/mycelium☆ 462026年10月13日 更新
Draft a reply or a value-add quote post for a specific Threads (Meta) post from its URL. Use to reply in a conversation, answer a creator, or quote-post with added value. Parses the post URL, reads pasted context, decides reply vs quote post, and drafts 1-3 warm variants in your voice. A reply to another user is a separate post and Publora cannot target it, so the draft is returned as a copy-paste block to post yourself. Not for top-level posts (use threads-post-writer).
日本語の概要は準備中です。原文の説明を表示しています。
sergebulaev/threads-skills☆ 462026年10月8日 更新
Generates 3 alternative Stitch prompts for A/B testing screen concepts — vary layout, visual style, or content while keeping the underlying information architecture consistent.
日本語の概要は準備中です。原文の説明を表示しています。
gabelul/stitch-kit☆ 452026年7月21日 更新
Master entry point for all Stitch design workflows. Routes from user request → design spec → prompt assembly → screen generation → iteration (edit, variants, design systems) → design system extraction → framework conversion (Next.js, Svelte, HTML, React Native, or SwiftUI) → optional quality pass.
日本語の概要は準備中です。原文の説明を表示しています。
gabelul/stitch-kit☆ 452026年7月21日 更新
fast-check patterns for JS/TS — 6 canonical property categories with worked examples targeting agent-studio utilities (path normalization, safe-json, glob-to-regex, routing logic)
日本語の概要は準備中です。原文の説明を表示しています。
oimiragieo/agent-studio☆ 432026年7月14日 更新