这是一个股票买卖点技术分析类技能。它先判断个股所处位置（低位、启动初期、途中整理、高位、下跌途中，以及相对半年线、年线的均线状态），再按用户描述的维度匹配K线、分时、量能三类信号库中的具体形态，做多信号共振评估并消歧，最后以【位置判断】【识别信号】【共振评估】【操作参考】【风控要点】五段结构化格式输出条件式结论，同时强制附止损位、失效条件与免责声明。付费深度版还会调用远程服务，输出多信号源共振评估报告，并检索原书80+形态的案例库（原例股票与量化判据全文匹配），生成五段式深度报告，支付流程遵循 X402 协议（HTTP 402 触发、微信 AI 支付授权、原样重试、异常降级与自动退款）。关键词：股票买卖点、K线形态识别、分时走势、量价关系、成交量、技术分析、信号共振、位置判断、底部与高位、止损位、风控要点、实战买卖点、案例检索、深度分析报告、付费技能、X402支付。

系统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支付。