TKET编译器是一个用于量子计算的平台无关电路优化工具，由剑桥量子（Quantinuum）开发。它专注于量子电路编译、多后端部署、相位门优化、克利福德简化、噪声感知路由和电路重写，帮助用户将量子算法高效适配到IBM、谷歌、亚马逊等不同硬件平台。关键词：量子计算，电路编译，t|ket>，平台无关，硬件后端，优化，噪声感知，量子软件。

技能导航器是一个智能工具，用于管理和推荐其他技能。它能根据用户任务需求，自动识别并推荐最佳技能、创建技能组合优化工作流，并帮助发现隐藏能力。关键词：技能推荐、工作流优化、AI助手、能力发现、智能导航。

这个技能用于创建、编辑和分析PowerPoint演示文稿（.pptx文件），包括文本提取、XML处理、模板使用、设计原则、图表添加等。关键词：PPTX, PowerPoint, 演示文稿, 数据处理, 办公自动化, XML解析, 模板设计, 文本提取, 颜色提取, 布局优化。

初稿撰写技能是用于诊断作家写作障碍，帮助执行初稿完成的工具。它识别为何初稿无法进展，并提供策略将文字付诸纸上，特别适用于小说创作。关键词：写作障碍、初稿执行、作家诊断、创意写作突破、初稿策略。

此技能专注于设计和实现高质量、独特的终端用户界面，特别适用于命令行工具和TUI应用程序。它强调美学设计、颜色主题、排版样式、布局优化和动态效果，以提供卓越的用户体验并避免通用样式。关键词：终端用户界面、CLI工具、TUI应用、界面设计、用户体验、ANSI代码、颜色方案、排版技术、终端美学、数据可视化。

GNC仿真技能专注于航空航天领域的制导、导航与控制系统仿真分析，提供传感器建模、滤波器设计、蒙特卡洛仿真、轨迹分析等核心功能，用于飞行器性能验证与优化。关键词：GNC仿真，导航滤波器，传感器建模，蒙特卡洛分析，飞行控制，航空航天工程，轨迹优化，硬件在环测试。

这个技能实现了一种基于文件的复杂任务规划方法，通过创建和使用Markdown文件（如task_plan.md、findings.md、progress.md）来管理多步骤任务、研究项目和需要多次工具调用的任务。它强调持久化存储、错误记录和避免重复失败，适用于提高任务执行效率和知识管理。关键词：文件规划、任务管理、Manus风格、Markdown、复杂任务、知识存储、错误处理、工作效率。

形式逻辑分析技能是一种系统应用命题逻辑、谓词逻辑和模态逻辑等逻辑系统，对自然语言论证进行形式化、构建证明、评估有效性的专业能力。它通过符号记法、真值表、自然演绎等方法，帮助用户严谨地分析论证结构、检测逻辑谬误、验证推理过程，是哲学分析、法律论证、计算机科学和数学证明等领域的重要工具。 关键词：形式逻辑，命题逻辑，谓词逻辑，模态逻辑，论证有效性，真值表，自然演绎，逻辑分析，哲学论证，符号逻辑

这个技能用于通过Rube MCP自动化WhatsApp Business任务，包括发送消息、管理模板、上传媒体和处理联系人，基于Composio的WhatsApp工具包集成。关键词：WhatsApp自动化、Rube MCP、业务通信、模板消息、媒体管理、API集成、工作流自动化。

文档转换技能是一个自动化工具，用于将不同格式的文档（如PDF、DOCX）转换为其他格式（如Markdown、PDF）。它作为薄包装器，委托给子代理处理转换任务，支持直接和隐式调用。关键词：文档转换、文件格式转换、自动化代理、技能包装器、PDF转换、Markdown生成。

这个技能专注于创意写作的艺术，帮助用户掌握故事结构、角色发展、散文风格和修订技巧，适用于创作小说、短篇故事、散文等多种文学形式。关键词：创意写作，故事创作，角色塑造，散文风格，文学技巧，写作技巧，故事结构，修订方法，POV写作，感官描述。

该技能是一个个人生产力工具，用于帮助用户进行系统性的月度回顾和规划。通过自动汇总周度回顾数据、检查季度目标进展并设定下月优先事项，提升目标管理和效率。关键词：月度评估、周度总结、目标追踪、时间管理、生产力提升。