Best agent skills for Writers and Editors, page 104

Translate C or C++ programs into equivalent Lean4 code, preserving program semantics and ensuring the generated code is well-typed, executable, and can run successfully.

ArabelaTso/Skills-4-SE

Convert code between programming languages while preserving functionality and semantics.

ArabelaTso/Skills-4-SE

Translate C/C++ programs to equivalent Dafny code while preserving semantics and ensuring verification.

ArabelaTso/Skills-4-SE

Translate Python programs into equivalent Dafny code, preserving program semantics and ensuring the generated code is well-typed, executable, and verifiable.

ArabelaTso/Skills-4-SE

Generate systematic refinement steps from high-level specifications to concrete implementations in Isabelle/HOL or Coq, preserving correctness obligations at each step.

ArabelaTso/Skills-4-SE

Automatically derives TLA+ properties (invariants, safety, liveness) from natural-language requirements or structured requirement documents.

ArabelaTso/Skills-4-SE

Builds traceability matrices connecting requirements to design documents to source code implementation, tracking the complete development lifecycle.

ArabelaTso/Skills-4-SE

Extract language-agnostic pseudocode from formally verified programs (Isabelle/HOL, Coq) while preserving verified control flow, data dependencies, and algorithmic logic.

ArabelaTso/Skills-4-SE

A skill your agent uses when a social campaign needs a decision-ready brief before anyone writes posts, books creators, or spends budget.

Ootto-AI/claude-content-skills

Turn Claude into a content research machine for any niche. An agent skill from Ootto-AI/claude-content-skills.

Ootto-AI/claude-content-skills

A skill your agent uses when an approved campaign, launch, research finding, or asset needs a deliberate plan across several social channels.

Ootto-AI/claude-content-skills

The strategy layer for making short-form video actually go viral — pick the goal, manufacture the emotion that drives it, then build the hook + funnel around it.

Ootto-AI/claude-content-skills

A skill your agent uses when a real lesson, analysis, launch explanation, or resource needs a structured X thread rather than a single post.

Ootto-AI/claude-content-skills

Huashu / huashu-md-html-inspired magazine article layout for turning Markdown or notes into a polished long-form HTML essay.

nexu-io/open-design

Apple Keynote-quality slides, one card per screen, with keyboard left/right navigation.

nexu-io/open-design

Modern minimal resume, single A4 page, ready for print or PDF export.

nexu-io/open-design

大きなPDFファイルを圧縮するスキル。ファイルサイズを最大98%削減. An agent skill from minicoohei/ai-agent-camp.

minicoohei/ai-agent-camp

PowerPointファイル（.pptx）の構造を解析し、スライド・図形・テキスト情報を出力するスキル. An agent skill from minicoohei/ai-agent-camp.

minicoohei/ai-agent-camp

PPTXテンプレート変換 & ゼロからデッキ生成。テーマ・アニメーション・SmartArtを保持してコンテンツを書き換え。

minicoohei/ai-agent-camp

トピックを入力するだけで、テンプレートのデザインを維持した .pptx を自動生成するスキル. An agent skill from minicoohei/ai-agent-camp.

minicoohei/ai-agent-camp

日本語記事の校閲エージェント。誤字脱字、文法、表現の一貫性、読みやすさをチェックし、修正提案をインライン注釈で出力する。

minicoohei/ai-agent-camp

Redige uma resposta profissional voltada ao cliente adaptada à situação e ao relacionamento.

evolution-foundation/evo-nexus

Draft email replies and compose new messages. An agent skill from evolution-foundation/evo-nexus.

evolution-foundation/evo-nexus

Upload a file (PDF, DOCX, PPTX, XLSX, HTML, EPUB, image) or URL to the Knowledge base.

evolution-foundation/evo-nexus

Generate a TL;DR summary of a specific document or learning unit in the Knowledge base.

evolution-foundation/evo-nexus

Draft marketing content across channels — blog posts, social media, email newsletters, landing pages, press releases, and case studies.

evolution-foundation/evo-nexus

When the user wants to track follower growth, understand what drives new followers, or analyze audience development.

evolution-foundation/evo-nexus

When the user wants to write content for a LinkedIn carousel, slide deck, or swipeable multi-slide format.

evolution-foundation/evo-nexus

When the user wants to plan a posting schedule, create a content calendar, or organize when and what to post.

evolution-foundation/evo-nexus

When the user wants to turn one piece of content into multiple formats or adapt content across platforms.

evolution-foundation/evo-nexus

When the user wants to plan a social media content strategy, decide what to post, or figure out topic clusters and content mix.

evolution-foundation/evo-nexus

When the user wants to set up or update their social media profile, voice, audience, content pillars, or platform preferences.

evolution-foundation/evo-nexus

When the user wants help writing opening lines, hooks, or first sentences that grab attention.

evolution-foundation/evo-nexus

When the user wants concrete recommendations on how to improve their social media performance.

evolution-foundation/evo-nexus

When the user wants to analyze how their social media posts are performing.

evolution-foundation/evo-nexus

When the user wants platform-specific tactical guidance for LinkedIn, Twitter/X, Threads, or Bluesky.

evolution-foundation/evo-nexus

When the user wants to write a social media post for LinkedIn, Twitter/X, Threads, or Bluesky.

evolution-foundation/evo-nexus

When the user wants to write a multi-part thread for Twitter/X, LinkedIn, or other platforms.

evolution-foundation/evo-nexus

Adds Work IQ (M365 Copilot Search) to a Power Apps code app via the Work IQ Copilot MCP connector (shareda365copilotchatmcp), then wires up a production-ready McpSession wrapper for AI-powered…

microsoft/power-platform-skills

Gera uma versão QUADRADA (1:1) de um deck do Mira a partir do 16:9 original, OU cria slides quadrados do zero quando não há deck de origem, para vídeo quadrado (feed do Instagram, LinkedIn, etc.).

sandeco/mira-animator

Gera um deck VERTICAL 9:16 (1080x1920) pronto para gravar no OBS Studio, onde cada slide declara um de três layouts: camera (webcam ao vivo em tela cheia), split (animação quadrada estilo…

sandeco/mira-animator

Gera um deck HORIZONTAL 16:9 (1920x1080, arquivo index-16x9.html) pronto para gravar videoaula sem OBS, onde cada slide declara um de três layouts: camera (webcam ao vivo em tela cheia), thirds…

sandeco/mira-animator

Reenquadra um deck do Mira na regra dos terços, sem mudar a proporção: joga título + animação nos 2/3 da esquerda de um grid 3x3 e deixa a coluna da direita em cinza 333, limpa, para você sobrepor…

sandeco/mira-animator

Gera uma versão VERTICAL (9:16, generalista para a tela atual: largura da tela / 3 por altura cheia, ex.

sandeco/mira-animator

This skill should be used when the user asks to "write in plain English", "make this easier to read", "rewrite guidance", "improve report clarity", or produce accessible public-facing prose.

OpenHands/extensions

Export Linear data to CSV, Markdown, or JSON. An agent skill from nesszer/linear-cli.

nesszer/linear-cli

Marp（Markdown Presentation）でプレゼンスライドを作成するスキル。PDF/PPTX/HTMLに変換可能。「スライド作って」「プレゼン資料を作って」で使用。

karaage0703/ai-assistant-workspace

Constrained internet research with source tracking for fiction and nonfiction projects

Ckokoski/AuthorAgent