2,300 件 ・ 関連度順
概要と使いどころ
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. Use when the user asks to convert C/C++ code to Lean4, port C/C++ programs to Lean4, translate imperative code to functional Lean4, or create Lean4 versions of C/C++ algorithms.
日本語の概要は準備中です。原文の説明を表示しています。
Translate C/C++ programs to equivalent Dafny code while preserving semantics and ensuring verification. Use when users ask to convert, translate, or port C/C++ code to Dafny, or when they need to formally verify C/C++ algorithms using Dafny's verification capabilities. Handles functions, structs, pointers, arrays, memory management, and ensures the generated Dafny code is well-typed, executable, verifiable, and can successfully run.
日本語の概要は準備中です。原文の説明を表示しています。
Automatically translate and sync App Store metadata (description, keywords, what's new, subtitle) to multiple languages using LLM translation and asc CLI. Use when asked to localize an app's App Store listing, translate app descriptions, or add new languages to App Store Connect.
日本語の概要は準備中です。原文の説明を表示しています。
Translate text between languages with cultural adaptation, terminology consistency, and support for multiple document types including technical docs, marketing copy, and UI strings. Use when the user requests translation or provides relevant inputs for this workflow.
日本語の概要は準備中です。原文の説明を表示しています。
Translate text content between languages with high quality and natural phrasing. Covers document translation, content localization, and multi-language research support for teams working across language barriers.
日本語の概要は準備中です。原文の説明を表示しています。
記事を英語に翻訳する。記事スラッグを引数に渡すと、日本語の記事を英語に翻訳して contents/blogPost/en/ に出力する。/translate [スラッグ] の形式で呼び出す。
Bridge local AI coding agents (Claude Code, Cursor, Gemini CLI, Codex) to messaging platforms (Slack, Telegram, Discord). Use when: controlling AI agents from team chat, sending coding tasks via Slack/Telegram, building team-accessible AI workflows.
日本語の概要は準備中です。原文の説明を表示しています。
Assists with building content-driven websites using Astro's island architecture. Use when creating static sites, blogs, documentation, or marketing pages that ship zero JavaScript by default. Trigger words: astro, static site, island architecture, content collections, SSG, hybrid rendering, astro components.
日本語の概要は準備中です。原文の説明を表示しています。
Expert at building multi-language applications. Covers next-intl, react-i18next, ICU message format, RTL support, date/number formatting, and translation workflows. Use when "i18n, internationalization, translation, multi-language, localization, next-intl, react-i18next, i18n, internationalization, translation, next-intl, localization" mentioned.
日本語の概要は準備中です。原文の説明を表示しています。
Use when the user asks what an American/British TV show or movie line, catchphrase, idiom, or slang means — "这句美剧台词什么意思", "XX 是什么梗", "老友记里那句…", "为什么这么说", "这个口头语怎么用", "what does 'X' mean in this show", or pastes a subtitle line / screenshot / SRT and wants the spoken English explained. Explains meaning, origin (why people say it), tone & offensiveness, when you can/can't use it, natural Chinese equivalent, examples, scene context, how to respond, and logs it to a personal 生词本. Triggers — "美剧口头语", "台词什么意思", "这是什么梗", "/wjs-explaining-tv-slang".
日本語の概要は準備中です。原文の説明を表示しています。
Thin orchestrator for the end-to-end video localization pipeline. Routes to the four focused sub-skills — /wjs-transcribing-audio, /wjs-translating-subtitles, /wjs-dubbing-video, /wjs-burning-subtitles. Use when the user asks for full localization in one go ("帮我把这个西班牙语视频做成中文字幕+配音", "translate and dub this video", "做完整的本地化"). For any individual step (just transcribe, just translate, just dub, just burn), invoke the sub-skill directly — it's faster and the boundary is cleaner.
日本語の概要は準備中です。原文の説明を表示しています。
Use when the user has an SRT (or transcript text) in one language and wants it translated to another, with punctuation-bounded re-segmentation so cues end at real sentence breaks. Simplified Chinese (zh-CN) and English (en) are first-class targets; other targets follow the same rules. Outputs a target-language SRT or bilingual SRT — no audio, no burn-in. Triggers — "翻译字幕", "翻成中文", "translate this SRT", "中英双语字幕", "把这个 SRT 翻译成 X", "bilingual subtitles".
日本語の概要は準備中です。原文の説明を表示しています。
Check Slack for important messages and activity. Use during daily planning or when user asks about Slack updates.
日本語の概要は準備中です。原文の説明を表示しています。
Translate an external competency framework like DigComp, GreenComp, or ISTE into classroom-ready activities. Use when implementing framework standards in specific teaching contexts.
日本語の概要は準備中です。原文の説明を表示しています。
Post a question to Slack and wait for a reply, or post a reply into a thread using scripts/slack.py.
日本語の概要は準備中です。原文の説明を表示しています。
当用户写出的内容读起来像产品公告/官方更新(如"我们发布了X""支持Y功能""效果很好")，需要翻译成读者能拿走的外部语言时调用。也适用于:用户问"怎么把公告式表达改成强推文""这条推文为什么没人理"(若原因是只讲自己不讲读者)、"怎么把功能介绍写得吸引人"。Trigger 词:公告式表达/内部语言/外部语言/帮助式表达/announcement tone/helpful expression/show don't tell/translate to reader value。不适用于:从零起草新内容(用 x-short-content-craft)、检查内容五件套完备性(用 x-five-piece-checklist)、评估内容值不值得发(用 x-four-saves)。
日本語の概要は準備中です。原文の説明を表示しています。
Create and configure slash commands for Claude Code — the legacy .claude/commands/ format. Use when asked to "create a slash command", "add a command", "write a custom command", "define command arguments", "use command frontmatter", "organize commands", "create command with file references", "interactive command", "use AskUserQuestion in command", or for guidance on slash command structure, YAML frontmatter fields, dynamic arguments, bash execution in commands, user interaction patterns, or command development best practices. Commands are the legacy format superseded by skills — for new development prefer /plugin-creator:skill-creator
日本語の概要は準備中です。原文の説明を表示しています。
Translate visa application documents (images) to English and create a bilingual PDF with original and translation
日本語の概要は準備中です。原文の説明を表示しています。
Convert photos into Slack-optimized custom emojis using Nano Banana Pro (Gemini 3 Pro Image) with automatic subject identification, style transformation, and image editing. 64KB/128px compliant. Triggers on: slack emoji, photo to emoji, convert to emoji, edit emoji, emoji maker.
日本語の概要は準備中です。原文の説明を表示しています。
Establish Service Level Objectives (SLO), Service Level Indicators (SLI), and Service Level Agreements (SLA) with error budget tracking, burn rate alerts, and automated reporting using Prometheus and tools like Sloth or Pyrra. Use when defining reliability targets for customer-facing services, balancing feature velocity against system reliability through error budgets, migrating from arbitrary uptime goals to data-driven metrics, or implementing Site Reliability Engineering practices.
日本語の概要は準備中です。原文の説明を表示しています。
Verify document completeness for each bureaucratic step of an EU/DACH relocation, flagging missing items and translation requirements. Use after creating a relocation plan and before beginning bureaucratic procedures, when preparing for a specific appointment (Buergeramt, Finanzamt), when unsure which documents need certified translation or apostille, after receiving a rejection or request for additional documents, or as a periodic check during the relocation process to ensure nothing has been overlooked.
日本語の概要は準備中です。原文の説明を表示しています。
Translate, complete, and audit Docusaurus localization under docs/i18n for both UI JSON catalogs and documentation Markdown/MDX pages. Use when adding or correcting locales, when a language switcher translates only theme labels while page content stays in the default language, or when verifying that non-default locales do not fall back to source documentation.
日本語の概要は準備中です。原文の説明を表示しています。
Fix intermittent `{:no_translation, :unicode, :latin1}` crashes in Elixir escript daemons that use length-prefixed framed IPC on stdin/stdout. Use when: (1) daemon worker crashes only on some input files, usually ones with non-ASCII bytes (kanji, cyrillic, emoji); (2) error surfaces as `Protocol error` from daemon's error branch or as garbled frame-length bytes seen by the orchestrator/client side; (3) standalone one-shot mode works fine on the same input but multi-request daemon mode fails; (4) `IO.binread(:stdio, N)` returns `{:error, {:no_translation, :unicode, :latin1}}` despite the "bin" prefix suggesting it should be encoding-agnostic. Root cause is the escript default `:standard_io` encoding — it's `:unicode`, and `IO.binread` still routes through the io_server, which translates bytes to codepoints and errors when raw binary frames contain invalid UTF-8 sequences.
日本語の概要は準備中です。原文の説明を表示しています。
Compute a unified outer hull around a group of hex tiles that includes multiple disconnected sub-clusters separated by 1-tile gaps. Use when: (1) rendering nested hierarchy hulls (e.g. "package" hull wrapping multiple "sub-region" hex islands), (2) the naive boundary trace outlines each island separately instead of as one bag, (3) flood-fill from outside walks THROUGH the 1-hex gaps and marks them exterior, (4) heuristic "non-adjacent same-group neighbours" over-fills L-shape concavities, (5) axial-only opposite-pair filling misses non-axial bridges between islands. Solution: morphological close (dilate + erode) on the hex grid — fills exactly the interior 1-hex gaps without affecting exterior corners, then trace boundary on the closed shape.
日本語の概要は準備中です。原文の説明を表示しています。