Codeforces API客户端技能是一个编程竞赛工具，用于与Codeforces平台API交互，实现竞赛数据获取、题目管理、提交查询、用户统计等功能。关键词：编程竞赛、算法题库、Codeforces API、竞赛数据、题目集、提交记录、用户排名、虚拟竞赛、技能分析、补题工作流。

此技能帮助作家设计和诊断虚构故事中的角色转变弧线，优化角色发展过程，并提供正向、负向、平坦弧线的框架，用于解决角色静态、转变未赚取、突然改变等问题。SEO关键词：角色弧线，角色转变，故事写作，角色发展，转变诊断，弧线设计，角色分析。

yt-dlp 媒体下载器是一个强大的命令行工具封装，专为高效下载和管理网络视频与音频内容而设计。它支持从YouTube、Bilibili等数千个网站批量下载视频、播放列表，并能自动选择最佳画质、提取MP3音频、嵌入字幕与元数据。核心功能包括格式转换、Cookie认证、智能归档，是媒体收藏、内容备份和离线观看的必备工具。关键词：yt-dlp下载，YouTube视频下载，命令行下载器，媒体归档，音频提取，批量下载，网络视频抓取。

蒙特卡洛物理模拟器技能专为物理领域的统计模拟设计，提供Metropolis算法、Wang-Landau采样、并行回火等核心蒙特卡洛方法，支持粒子输运模拟、随机过程分析和统计物理计算。适用于核物理、材料科学、高能物理等领域的数值实验与仿真研究，包含方差缩减、误差估计等专业工具链。

这是一个用于创建和定制Claude领域专业技能的模板工具。它提供了完整的框架结构，包括核心理念、流程步骤、输出模板、常见错误和问题收集等模块，帮助用户系统化地构建专业知识体系。适用于技能开发、知识管理、模板创建等场景。关键词：领域技能模板、专业知识框架、Claude技能开发、AI技能定制、知识体系构建

该技能用于为领导层生成简洁的技术内容执行摘要，结构化展示当前状态、风险和后续行动，便于快速理解战略价值、识别风险并规划决策。关键词：领导力总结、风险分析、行动规划、执行摘要、技术内容摘要、战略价值。

本技能专注于Word文档（.docx格式）的创建、编辑和分析，包括使用pandoc进行文本提取、docx-js和Python库进行文档操作，支持追踪更改、注释处理、格式保留等功能。关键词：DOCX处理，Word文档编辑，XML操作，文档分析，跟踪更改，SEO搜索，文档转换。

这个技能用于新闻采访的准备工作，包括背景研究、问题框架设计、日志管理、录音同意和后续协议。关键词：采访准备、新闻研究、问题设计、采访技巧、录音法律、归属指南、SEO优化、记者培训。

安全计算器技能用于安全地评估数学表达式，通过Python等工具实现，确保计算过程无风险，适用于软件开发、教育和数据分析场景。关键词：安全计算器、数学表达式求值、Python工具、计算安全、软件开发工具。

Lean 定理证明助手是一个基于 Lean 4 形式化验证系统的专业工具，专注于数学定理的形式化证明与验证。它能够将非形式化的数学证明转化为机器可检查的 Lean 代码，利用 Mathlib4 数学库中的已有成果，通过自动化策略辅助用户完成严谨的证明过程。该工具适用于数学研究、计算机科学中的形式化方法验证以及数学教育等领域。 关键词：Lean 4, 定理证明, 形式化验证, 数学形式化, Mathlib4, 证明助手, 自动推理, 策略证明

聚焦离子束铣削控制器是一种用于纳米技术领域的专业技能，专注于定点纳米加工和样品截面制备。该技能通过精确控制聚焦离子束，实现纳米级材料去除、沉积和图案化，广泛应用于透射电镜样品制备、纳米器件制造和集成电路修复。核心功能包括TEM薄片制备、气体辅助蚀刻、损伤最小化以及自动化工作流集成。关键词：聚焦离子束，纳米加工，TEM样品制备，FIB铣削，纳米制造，截面分析，半导体失效分析，材料科学。

这个技能是一个内部通讯工具集，提供资源和指南，帮助撰写各种内部通讯文档，如状态报告、领导更新、3P更新、公司新闻稿、常见问题解答等。它旨在提高通讯效率，确保格式符合公司标准，适用于项目管理、团队协作和内部沟通场景。关键词包括内部通讯、公司通讯、状态报告、领导更新、项目管理、团队更新、文档撰写、SEO优化。