该技能用于创建详细的6周跨城搬家计划，涵盖房屋搜索、搬家公司选择、公共服务迁移和地址更新，并包含12小时应急替代方案以确保预算和可靠性。关键词：搬家计划、跨城搬迁、时间管理、应急预案、预算控制。

CAMB宇宙学计算器是一款专业的宇宙学模拟工具，专门用于计算宇宙微波背景辐射（CMB）功率谱、物质功率谱和进行宇宙学参数估计。该工具支持暗能量状态方程建模、中微子质量效应分析，并提供Python/Fortran接口，是宇宙学研究、天体物理分析和科学计算的重要软件。关键词：CAMB，宇宙学计算，CMB功率谱，物质功率谱，宇宙学参数，暗能量，中微子，Python接口，科学计算

这是一个用于日常规划的工作流技能，帮助用户回顾昨日进展、制定今日优先级、并将任务连接到活跃项目，集成AI内容摘要以提升效率。关键词：日常规划、任务管理、生产力工具、工作流自动化、AI摘要、项目连接。

归约语义是一种编程语言理论方法，用于定义程序评估过程。它通过重写规则和评估上下文来指定评估顺序，优雅地将“在哪里归约”与“归约什么”分离。适用于语言语义定义、教学、程序变换和评估策略推理。关键词：归约语义、程序评估、重写规则、评估上下文、编程语言理论、语义定义、可归约表达式、标准归约。

这个技能用于在范畴论中处理和验证函子相关问题，提供问题解决策略，利用Lean 4编程语言进行数学证明和编译器验证。它覆盖范畴公理检查、函子性质验证、常见函子类型以及使用Lean 4工具进行高效验证。关键词：范畴论，函子，Lean 4，数学证明，编译器验证，问题解决策略。

该技能专注于量子多体系统的张量网络模拟与分析，核心功能包括矩阵乘积态（MPS）、密度矩阵重整化群（DMRG）计算、TEBD时间演化以及纠缠熵等量子特性的精确求解。适用于凝聚态物理、量子信息、开放量子系统等领域的科研与算法开发，支持GPU加速，是进行大规模量子模拟和量子纠缠研究的专业工具。关键词：量子计算，张量网络，MPS，DMRG，纠缠熵，量子模拟，多体物理，开放系统。

这是一个用于材料科学和凝聚态物理领域的专业技能，专注于使用 Quantum ESPRESSO 软件包进行第一性原理密度泛函理论 (DFT) 计算。它能够辅助用户生成和管理计算输入文件、选择合适的赝势、自动化执行收敛性测试，并支持与 Wannier90、EPW 等工具集成，以计算材料的电子结构、声子谱、输运性质等。关键词：Quantum ESPRESSO, DFT, 第一性原理, 材料模拟, 密度泛函理论, 赝势, 电子结构, 输运性质, 计算物理

Cirq是Google Quantum AI的开源量子计算框架，用于设计、模拟和运行量子电路。它特别适用于Google硬件集成、噪声建模、低级电路设计和量子实验。关键词：量子计算，Python框架，Google硬件，噪声模拟，电路设计，量子实验，硬件集成，变分算法，量子模拟。

这个技能提供了从基因组组装中使用单拷贝直系同源基因生成全面的、调度器感知的工作流程的系统发育学专业知识。

认知设计技能基于认知心理学原理，用于优化视觉界面、数据可视化、教育内容等的设计，以提高用户体验和信息传达效率。关键词：认知设计、数据可视化、用户体验、教育技术、认知心理学。

本技能专注于人类受试者研究的伦理规范与合规流程，核心功能包括：IRB机构审查委员会流程导航、知情同意书制定、数据保密管理、风险评估与伦理实践。适用于社会科学、医学、心理学等领域的研究人员、伦理审查员及项目管理者，确保研究符合伦理标准与法规要求。关键词：研究伦理，IRB审查，知情同意，数据保密，人类受试者，伦理合规，社会科学研究，风险评估。

公理语义学是一种通过逻辑断言和证明规则（如Hoare逻辑）定义程序含义的形式化方法，用于程序正确性验证、证明系统设计、教学形式化验证、指定程序行为和构建验证工具。关键词：公理语义学、Hoare逻辑、程序验证、形式化验证、循环不变式、最弱前置条件、SMT求解器。