这个技能是一种系统性的论证验证工具，专门用于压力测试绝对性声称（如“总是”、“从不”、“保证”等）。通过多轮挑战回合（如反例寻找、逻辑陷阱分析、边界情况测试等），它帮助识别声称中的漏洞、隐藏假设和边界条件，最终精炼出更准确和可靠的表述。适用于需要严格逻辑分析和风险识别的场景，如AI系统验证、数据科学模型评估或一般性论证审查。关键词：压力测试、论证验证、绝对声称、魔鬼代言人、边界分析、逻辑挑战。

量子比特映射器是一种用于量子计算的硬件集成技能，专注于将逻辑量子比特高效映射到物理硬件拓扑结构。该技能通过分析硬件连接约束，采用初始布局、SWAP门插入和路由优化算法，最小化量子电路中的通信开销和噪声影响。支持重型六边形、网格等多种拓扑结构，适用于量子编译、噪声感知优化和动态电路路由等场景。 关键词：量子计算，量子比特映射，硬件拓扑优化，SWAP门，路由算法，量子编译，噪声感知，量子硬件集成，Qiskit，量子电路

实用技术写作技能是一种基于Hunt/Thomas和Joel Spolsky风格的写作方法，用于创作清晰、引人入胜、可操作的技术内容，如技术文章、文档和教程。关键词：技术写作、实用、清晰、可操作、SEO、内容创作。

Anthropic品牌指南是一个用于确保任何工件都符合Anthropic官方品牌颜色和排版的技能。它通过智能字体应用和文本风格保持品牌一致性，同时通过形状和辅助色的使用来维持视觉兴趣。

这个技能用于婚礼筹备中的财务管理，通过创建支付里程碑计划，帮助用户在预算上限内为供应商分配分阶段支付，涉及预算管理、供应商管理和支付跟踪，关键词包括婚礼规划、支付里程碑、预算管理、供应商管理、财务管理。

这个技能用于展示和列出所有可用的工具列表，帮助用户快速了解和参考工具的功能和用途，适用于探索Claude Code的各种功能，提高开发和使用效率。关键词：工具列表、功能参考、Claude Code、开发工具、工具管理、SEO搜索。

AFLOW材料发现技能是一个专注于高通量材料计算与发现的工具，主要用于自动化密度泛函理论（DFT）计算流程、材料数据库智能查询、热力学稳定性评估以及晶体结构原型生成。该技能集成了机器学习能力，能够计算材料描述符，为新材料研发和性能预测提供数据支持。关键词：材料发现，高通量计算，DFT，AFLOW数据库，热力学稳定性，晶体结构，机器学习，材料描述符，凝聚态物理，计算材料学。

叙事算法框架技能专注于将叙事原则从艺术家、理论家等来源转化为形式化、可实现的算法框架，用于故事结构分析、叙事技术提取、工艺方法形式化和创建可实现的讲故事协议。关键词：叙事算法、故事分析、形式化框架、创意写作、AI叙事、算法交易、数据统计。

这是一个用于双人家庭的月度预算复盘流程，旨在帮助夫妻共同评估支出、识别模式并制定调整行动，以提高财务管理效率。关键词：预算、复盘、家庭财务、财务管理、月度回顾、夫妻理财、行为会计。

指称语义构建器用于为编程语言构建指称语义模型，支持形式化语义定义、程序属性证明和语义分析。核心功能包括语义域定义、语法映射、组合性处理和不动点递归语义。适用于形式化方法、程序验证和编程语言理论研究。关键词：指称语义、语义域、形式化语义、程序证明、语义分析、编程语言理论、不动点、域理论。

分离逻辑验证器是一种使用分离逻辑来验证堆操作程序的形式验证技能，专注于确保内存安全、指针程序正确性和数据结构分析。适用于证明内存安全性、验证指针代码、分析并发程序及程序认证。关键词：分离逻辑、堆操作、程序验证、内存安全、数据结构、并发验证、形式方法。

这是一个用于获取技能参考文档的工具，帮助用户快速访问详细技术文档、查找使用示例和理解高级功能，适用于技能管理和开发工作流程。关键词：技能参考、技术文档、示例、高级用法、技能管理、文档获取。