Translation

Load BEFORE translating Verus source (Rust with verus!. An agent skill from sunblaze-ucb/vero.

sunblaze-ucb/vero

Load BEFORE translating any Verus item to Lean 4 to avoid known Verus→Lean pitfalls.

sunblaze-ucb/vero

Translate a problem, workflow, or project from one professional domain into another while preserving the real structure.

FAIRY123456789/human-edge-agent-skills

Configure brand languages: secondary languages, do-not-translate terms, locale formats.

indranilbanerjee/digital-marketing-pro

Localize a whole campaign for several markets with transcreation.

indranilbanerjee/digital-marketing-pro

Score translated content for publication: quality, brand voice, market compliance.

indranilbanerjee/digital-marketing-pro

Translate marketing content using the brand glossary and do-not-translate terms, with quality scoring.

indranilbanerjee/digital-marketing-pro

Add Flutter translation assets, locale initialization, localized strings, locale switching, and plurals with easylocalization and CSV or JSON files.

HoangNguyen0403/agent-skills-standard

Translate source code between programming languages at function, class, and module levels while preserving behavior and generating verification tests.

ArabelaTso/Skills-4-SE

Apply the user's Chinese writing style when writing, translating, editing, proofreading, polishing, or publishing Chinese content, including blog posts, articles, subtitles, captions, tweets/X…

sugarforever/01coder-agent-skills

A skill your agent uses for the pre-submission preflight to 《世界经济》 (The Journal of World Economy) — checking footnote (页下注) conventions, reference list at the end, 内容提要 ≤ 300 chars + 3–5 keywords…

franklee16/academic-research-skills

A skill your agent uses when formatting a PMLA (Publications of the Modern Language Association) essay in MLA style — in-text parenthetical citations keyed to a Works Cited list built from the MLA…

franklee16/academic-research-skills

A skill your agent uses when targeting 《科学管理研究》(Scientific Management Research — 内蒙古自治区软科学研究会主办的科学管理/科技政策双月刊) or deciding whether a Chinese S&T-management/policy manuscript fits this venue.

franklee16/academic-research-skills

A skill your agent uses when targeting 《软科学》(Soft Science — 四川省科技促进发展研究中心主办的软科学/管理决策月刊) or deciding whether a Chinese innovation-policy/management manuscript fits this venue.

franklee16/academic-research-skills

Synesthete designer that translates emotional vibes and brand keywords into concrete visual DNA (colors, typography, layouts, interactions).

curiositech/some_claude_skills

Build full-paper Chinese-English side-by-side, figure/table-aware, source-grounded Markdown readers for journal or conference papers from PDF, DOI, arXiv, publisher HTML, or pasted text.

aiskillstore/marketplace

Accurately and fluently translates source text into another language, supporting any language pair.

aiskillstore/marketplace

Converts an audited medical research gap into a complete, structured, gap-traceable study design.

aipoch/medical-research-skills

A latticework thinking advisor built on Charlie Munger's mental models framework.

LeoYeAI/openclaw-master-skills

Obsidian lecture notes with recursive atomic decomposition. An agent skill from LeoYeAI/openclaw-master-skills.

LeoYeAI/openclaw-master-skills

Connect AI agents to the 2020117 decentralized network. An agent skill from LeoYeAI/openclaw-master-skills.

LeoYeAI/openclaw-master-skills

CET-4 and CET-6 exam preparation coach for original CET-style practice, diagnostic feedback, writing and translation correction, reading/listening drills, and study planning.

mingchen666/Reviva

Localization and internationalization strategy for iOS/macOS apps.

gustavscirulis/snapgrid

Maintain a canonical i18n glossary file — sync new terms across all language pairs, detect drift, flag missing translations, and enforce consistent terminology across the codebase.

digipulse-engineering/GAAI-framework

Validate translation completeness and consistency across all locale files — detect missing keys, untranslated strings, format mismatches, and glossary violations.

digipulse-engineering/GAAI-framework

Translate strings idiomatically across multiple target languages using a project glossary, preserving tone, domain terminology, and format placeholders while flagging untranslatable content.

digipulse-engineering/GAAI-framework

Optimize Lokalise costs through plan selection, usage monitoring, and efficiency.

jeremylongshore/tons-of-skills-marketplace

Apply Lokalise security best practices for API tokens and access control.

jeremylongshore/tons-of-skills-marketplace

MSVC cl.exe and clang-cl skill for Windows C/C++ projects. An agent skill from mohitmishra786/low-level-dev-skills.

mohitmishra786/low-level-dev-skills

Zig C interoperability skill. An agent skill from mohitmishra786/low-level-dev-skills.

mohitmishra786/low-level-dev-skills

Owns the installation record and everything done to a project, under src/contexts/framework/ — the manifest aggregate, and the setup/install/restore/uninstall/doctor orchestration built on top of it.

ai-driven-dev/framework

Defines or modifies what the project targets, under src/contexts/tools/ — an AI/IDE tool profile, its build contract, the content-translation capability classes it composes…

ai-driven-dev/framework

Translate LaTeX documents preserving math formulas and structure

wentorai/research-plugins

Strategies for translating academic papers while preserving technical accuracy

wentorai/research-plugins

Translate scientific PDFs with preserved math formatting via PDFMathTranslate

wentorai/research-plugins

Macro-driven trade idea generation, translating macroeconomic views into concrete stock ideas, sector selection from macro regime, international trade ideas via ADRs, cross-border idea sourcing…

agentii-ai/agentii-investment-intelligence

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

Translate Python programs to equivalent Lean4 code while preserving semantics and ensuring type safety.

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

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

Generate a stakeholder update tailored to audience and cadence.

evolution-foundation/evo-nexus

Method for translating product telemetry into ROI narratives and expansion triggers.

gtmagents/gtm-agents

Compare JR East line impacts with bilingual identity, source freshness and reporting limits.

mvanhorn/printing-press-library

Expert in visualizing and explaining braid theory, knot mathematics, and topological concepts for educational purposes.

curiositech/some_claude_skills