其他 Skill技能列表
视频下载器Skill video-downloader
视频下载器技能用于从YouTube等平台下载视频，支持多种格式和质量选项，适用于离线观看、内容编辑、教育学习等场景。关键词：视频下载，YouTube下载，离线观看，批量下载，格式转换，存档备份。
智能文件整理助手Skill file-organizer
这个技能用于智能整理文件和文件夹，通过自动化分析、查找重复文件、建议组织结构和执行清理操作，帮助用户高效管理文件系统。关键词包括文件组织、重复文件查找、文件夹整理、自动化清理、智能整理、文件管理工具、目录优化、去重功能。
学习技能提取方法Skill learner
这个技能用于从代码开发对话中提取可重用的学习技能，作为决策启发式和原则，帮助开发者如何思考问题，而非简单复制代码片段。它强调在解决棘手bug、发现非明显变通方法或未记录行为时，提取不可谷歌搜索、上下文特定、精确可操作且来之不易的技能。关键词：技能提取、学习技能、决策启发式、代码调试、非Googleable技能、心智模型、可重用原则。
规约构建器Skill reduction-builder
规约构建器是一个专注于计算复杂性理论的工具，专门用于构建和验证NP完全性证明中的多项式时间规约。它提供构件库、规约验证、可视化等功能，帮助研究人员和学生在复杂性理论、算法分析、NP完全问题证明等领域进行问题分类和难度分析。关键词：多项式时间规约，NP完全性证明，计算复杂性理论，算法分析，问题规约，构件设计，复杂性分类。
定理证明器接口Skill theorem-prover-interface
该技能提供与交互式定理证明器（如Coq、Isabelle、Lean）交互的专家指导，专注于形式化验证、机械化证明和代码提取。关键词：形式化验证，定理证明器，Coq，Isabelle，Lean，机械化证明，证明自动化，代码提取。
图灵机模拟器Skill turing-machine-simulator
图灵机模拟器是一个用于计算机科学教育和研究的专业工具，专注于模拟图灵机的运行过程。它支持多带图灵机和非确定性图灵机的模拟，提供逐步执行、磁带可视化、停机检测和计算轨迹生成等功能。该工具适用于可计算性理论分析、算法复杂性演示、可判定性证明以及计算机科学基础教学。关键词：图灵机模拟，可计算性分析，算法演示，计算理论，复杂性理论，停机问题，计算机科学教育。
简单重构Skill simple-refactor
这个技能专注于通过小的代码重构来提升可读性和可维护性，同时确保软件行为不变，适用于初级开发者代码清理。关键词：代码重构、可读性改进、行为不变、安全重构、软件开发、代码优化。
婚礼16周节奏与审查调整Skill "wedding-16-week-rhythm-with-review-and-adjustment"
这是一个婚礼计划技能，通过16周的节奏化管理，每周设定核心任务、周五审查和调整规则，以控制预算、时间表和风险。关键词：婚礼计划、项目节奏、风险缓解、预算控制、审查调整。
撰写有效READMESkill crafting-effective-readmes
这个技能是关于撰写和优化README文件的指南，提供模板和指导，帮助用户根据项目类型和受众需求创建有效的文档。关键词包括：README撰写、项目文档、文档优化、开源项目文档、文档指南。
PDF文档处理Skill document-processing-pdf
PDF文档处理技能用于通过编程库如pdf-lib和PDFKit生成、解析、操作和提取PDF文件数据，支持文档自动化、报告生成、表单填充、水印添加等应用，是文档管理系统和业务软件开发的关键技术。关键词：PDF处理、文档生成、数据提取、自动化、编程库、PDF操作、文档管理。
DOCX文档处理工具包Skill docx
此技能用于专业文档处理，支持创建、编辑和分析Word文档，包括文本提取、XML访问、跟踪更改和工作流管理。关键词：文档创建，Word编辑，XML处理，跟踪更改，文档分析。
教程系统技能Skill tutorial-systems
该技能用于新玩家入门引导和提示系统，提供操作指引和功能说明。关键词：玩家引导、新手教程、入门系统、操作提示、技能说明。