这个技能专注于数学逻辑中的证明论，提供问题解决策略，包括直接证明、矛盾证明、归纳法等，适用于逻辑推理、定理证明和证明验证。关键词：证明论、数学逻辑、问题解决、证明策略、归纳法、可靠性、完备性。

这是一个问题解决技能调度工具，帮助用户在遇到卡壳时，根据症状选择合适的问题解决技术。适用于软件开发、编程和其他需要高效问题解决的场景。关键词：问题解决、调度、卡壳、技术选择、效率提升、软件开发。

这个技能用于通过Rube MCP自动化Hackernews任务，实现工具发现、连接管理、工作流执行等操作，提升Hackernews操作的效率和自动化水平。关键词：Hackernews自动化、Rube MCP、Composio工具包、API集成、自动化工作流、工具发现、连接管理。

NGX HYBRID 销售框架是一个用于销售AI健身教练订阅服务的结构化工具。它提供线索评分、销售电话脚本、异议处理话术和销售管道分析，帮助销售代表高效推广结合了13个AI智能体与真人教练的HYBRID产品。关键词：销售框架，AI健身教练，线索评分，销售话术，异议处理，销售管道管理，订阅服务销售。

此技能通过 Context7 API 提供软件库和框架的最新文档检索服务，帮助开发者快速查找 API 文档、代码示例和正确用法，适用于各种编程环境和开发需求。关键词：软件库文档、API 查询、编程帮助、开发工具。

这个技能用于帮助用户快速起草专业的电子邮件，覆盖商业、技术、客户支持等多种场景。它提供模板、结构指南和语气建议，以提升沟通效率。关键词：电子邮件撰写、专业沟通、邮件模板、商务通信、沟通技巧、邮件礼仪、写作助手。

焦点时间框与80/20原则是一种个人生产力技能，用于通过80/20分析识别高影响力任务，设计焦点块和时间框来管理时间、提高注意力、对抗拖延症和优化工作效率。关键词：时间管理、生产力、80/20原则、时间框、深度工作、任务批量处理、能量管理。

Mac清理助手是一款专为macOS系统设计的磁盘空间清理工具，可自动清除系统缓存、清空垃圾箱、删除过期下载文件，帮助用户快速释放存储空间，优化MacBook Pro性能。关键词：macOS清理、磁盘空间释放、系统缓存清理、垃圾箱清空、自动清理工具、Mac优化、存储管理。

这个技能是一个工具箱，提供用于创建优化Slack平台的动画GIF的实用程序和知识。它涵盖了Slack的要求、核心工作流程、图形绘制方法、动画概念和优化策略，使用Python的PIL库实现。关键词：Slack, GIF, 动画, Python, PIL, 图形处理, 优化, 工具包, 动图制作, 表情包

这个技能用于从代码开发对话中提取可重用的学习技能，作为决策启发式和原则，帮助开发者如何思考问题，而非简单复制代码片段。它强调在解决棘手bug、发现非明显变通方法或未记录行为时，提取不可谷歌搜索、上下文特定、精确可操作且来之不易的技能。关键词：技能提取、学习技能、决策启发式、代码调试、非Googleable技能、心智模型、可重用原则。

这个技能用于帮助个人或家庭将月度支出项目清晰分类为固定、可协商和弹性三类，以实现有效的预算规划和财务管理，优化资金分配。关键词：预算规划，财务管理，支出分类，三类支出法，固定支出，可协商支出，弹性支出。

此技能用于规划和执行婚礼筹备过程，特别是针对120人规模的3个月筹备期。包括预算管理、场地选择、供应商协调等关键步骤，帮助用户系统化地组织婚礼。关键词：婚礼筹备、规划、预算管理、场地预订、供应商协调。