复合材料结构技能是用于航空航天工程领域的专业能力，专注于复合材料结构的设计、分析与优化。核心功能包括层压板分析、经典层压板理论计算、多种失效准则应用、铺层顺序优化，并综合考虑制造工艺、环境影响、可检性与可修复性。该技能依赖于HyperSizer、ESACOMP等专业工具，遵循积木式验证流程，旨在实现高性能、轻量化且可靠的航空航天复合材料部件设计。关键词：复合材料，航空航天结构，层压板设计，结构分析，失效准则，制造约束，HyperSizer，NASTRAN。

系统F（多态Lambda演算）是一种编程语言理论技能，用于实现多态类型系统、构建泛型编程结构、研究类型理论基础。它扩展了简单类型Lambda演算，支持类型抽象和类型应用，使得可以对类型进行全称量化，适用于ML风格模块系统、参数多态性理解等场景。关键词：多态Lambda演算、类型抽象、类型应用、泛型编程、类型安全、参数性、全称量化、编程语言理论、类型系统、多态性。

面向设计院建筑师、绿色建筑咨询工程师、碳排放管理员与房地产甲方的建筑碳排放量化工具：内置 GB/T 51366-2019 公式代码化引擎，按 GB 55015-2021 强制要求，快速估算运行阶段碳排放强度与全寿命总量、精算建材生产／运输／建造／运行／拆除回收全生命周期分阶段排放，并一键产出可研与初步设计格式的《建筑碳排放计算与分析报告》草稿，每一项结果均带公式、因子、来源与版本的 calc_trace 溯源，支持与全国平均排放强度对标。关键词：建筑碳排放计算、GB/T 51366-2019、GB 55015-2021、绿色建筑、碳排放分析报告、全生命周期评价 LCA、隐含碳、运行碳、碳排放因子、减碳建议、碳中和、建筑节能、碳足迹核算、可研报告、初步设计、碳资产管理、碳排放管理员、绿色建筑咨询。

一个面向求职场景的付费简历优化技能：用户粘贴简历与目标岗位（可附 JD）后，先做岗位匹配度诊断，再按 STAR 法则（情境-任务-行动-结果）对工作经历逐条量化改写，输出关键词缺口分析、排版与模块顺序建议，并给出 5 个面试预演问题，帮助求职者在 HR 浏览的前十秒内呈现核心价值。技能分免费与付费两层：简历结构讲解、STAR 概念、常见错误点拨等基础问答免费；完整优化包按次收费（¥9.00/次），基于微信 AI 支付 X402 协议完成下单、支付触发、原样重试与异常退款处理。全流程坚守诚信红线，不编造经历、数据与证书，量化数字只来自原文或标注需用户补充真实数据。

本技能用于将会议纪要或工作记录提炼为结构化周报、月报或项目汇报，提供四段式成稿、关键进展量化改写、风险与支持事项、下周计划、领导速读电梯摘要和数据待补清单；付费完整版按次计费，要求不编造数据。关键词：周报生成、会议纪要转周报、工作汇报、月报、项目进展汇报、量化表达、电梯摘要、职场写作、汇报材料、数据待补清单、微信AI支付。