其他 Skill技能列表
规约构建器Skill reduction-builder
规约构建器是一个专注于计算复杂性理论的工具，专门用于构建和验证NP完全性证明中的多项式时间规约。它提供构件库、规约验证、可视化等功能，帮助研究人员和学生在复杂性理论、算法分析、NP完全问题证明等领域进行问题分类和难度分析。关键词：多项式时间规约，NP完全性证明，计算复杂性理论，算法分析，问题规约，构件设计，复杂性分类。
定理证明器接口Skill theorem-prover-interface
该技能提供与交互式定理证明器（如Coq、Isabelle、Lean）交互的专家指导，专注于形式化验证、机械化证明和代码提取。关键词：形式化验证，定理证明器，Coq，Isabelle，Lean，机械化证明，证明自动化，代码提取。
图灵机模拟器Skill turing-machine-simulator
图灵机模拟器是一个用于计算机科学教育和研究的专业工具，专注于模拟图灵机的运行过程。它支持多带图灵机和非确定性图灵机的模拟，提供逐步执行、磁带可视化、停机检测和计算轨迹生成等功能。该工具适用于可计算性理论分析、算法复杂性演示、可判定性证明以及计算机科学基础教学。关键词：图灵机模拟，可计算性分析，算法演示，计算理论，复杂性理论，停机问题，计算机科学教育。
类型规则生成器Skill typing-rule-generator
类型规则生成器是一个专注于编程语言理论领域的工具，用于辅助设计和生成形式化的类型系统推理规则。它能够根据用户定义的语言语法，自动或半自动地生成符合学术规范的LaTeX推理规则、构建类型推导树、分析规则间的依赖关系，并支持导出到Ott、LNGen等机械化验证工具。该技能专为编程语言设计者、编译器开发者和形式化方法研究人员打造，旨在提升类型系统设计的效率和严谨性。 关键词：编程语言理论，类型系统，形式化方法，推理规则，LaTeX，类型推导，PLT，编译器设计
PDF文档处理Skill document-processing-pdf
PDF文档处理技能用于通过编程库如pdf-lib和PDFKit生成、解析、操作和提取PDF文件数据，支持文档自动化、报告生成、表单填充、水印添加等应用，是文档管理系统和业务软件开发的关键技术。关键词：PDF处理、文档生成、数据提取、自动化、编程库、PDF操作、文档管理。
DOCX文档处理技能Skill docx
DOCX文档处理技能用于自动化创建、编辑和分析Word文档，支持跟踪更改、评论管理、格式化操作等。关键词：DOCX处理, Word文档编辑, 跟踪更改, 文档分析, 自动化脚本, XML处理
视频下载器Skill video-downloader
视频下载器是一款软件工具，用于从YouTube等平台下载视频，支持多种格式和质量选项，适合离线观看、编辑、归档等用途。关键词：视频下载、YouTube下载、离线观看、批量下载、格式转换、质量选择、元数据保存。
SlackGIF创建器Skill slack-gif-creator
Slack GIF 创建器是一个工具包，专门用于创建和优化符合Slack平台要求的动画GIF。它提供验证器检查文件大小和尺寸约束，动画原语如抖动、弹跳、旋转等构建块，以及辅助工具如颜色管理和文本渲染。支持消息GIF和表情GIF，优化文件大小和视觉效果，关键词包括Slack GIF、动画制作、文件优化、验证器、动画原语、图像处理。
SlackGIF制作工具包Skill slack-gif-creator
Slack GIF 制作工具包是一个用于创建和优化 Slack 平台动画 GIF 的 Python 工具包。它提供验证器来确保符合 Slack 的大小和尺寸限制，以及可组合的动画原语如摇动、弹跳、移动等，帮助用户轻松制作动画 GIF 和表情。关键词：Slack GIF 制作, 动画 GIF 工具包, Python 图像处理, Slack 表情优化, GIF 验证器
教程系统技能Skill tutorial-systems
该技能用于新玩家入门引导和提示系统，提供操作指引和功能说明。关键词：玩家引导、新手教程、入门系统、操作提示、技能说明。
内部沟通编写助手Skill internal-comms
此技能提供一套资源和指南，用于高效编写公司内部沟通文档，包括状态报告、领导层更新、3P更新、公司通讯等，确保符合公司特定格式和标准。关键词：内部沟通，状态报告，领导更新，3P更新，公司通讯，FAQ，事件报告，每周更新，常见问题。
QuickBooks自动化Skill QuickBooksAutomation
此技能用于自动化 QuickBooks Online 的会计操作，包括创建发票、管理客户、查询账户和列出支付，以简化财务报告和簿记流程。关键词：QuickBooks 自动化、发票管理、客户管理、财务自动化、会计软件集成、API 调用、自动化工具。