这个技能专注于解决测度论中的sigma代数相关问题，包括公理验证、生成方法、可测性检查和乘积代数构建。适用于概率论、数据分析和量化交易场景。关键词：sigma代数, 测度论, 可测函数, 概率论, 量化金融, 数据分析。

PyMC贝叶斯建模器是一个专注于物理数据分析的专业技能，利用PyMC概率编程框架构建和推断层次贝叶斯模型。它支持高级采样方法（如NUTS/HMC）、变分推断、高斯过程以及模型比较（如WAIC和LOO），帮助研究人员和数据分析师进行不确定性量化、参数估计和模型选择。关键词：PyMC，贝叶斯建模，层次模型，物理数据分析，概率编程，NUTS采样，变分推断，模型比较。

Excel专业处理技能提供全面的电子表格创建、编辑和分析能力，支持公式计算、数据格式化、财务建模和可视化分析。该技能涵盖Excel文件处理、公式构建、错误预防、数据分析和自动化工作流程，特别适用于财务建模、数据分析和商业智能应用。关键词：Excel处理、财务建模、数据分析、公式计算、电子表格自动化、数据可视化、Python pandas、openpyxl、商业智能、量化分析。

技术债务管理是一种专家级框架，用于识别、分类、量化和管理技术债务，以维护代码质量、团队速度和系统健康。它通过系统的债务跟踪和偿还，帮助团队在短期交付速度与长期可维护性之间取得平衡。

进程管理技能用于自动化生成、监控和管理后台作业、长运行进程和任务调度，支持资源限制、日志记录和事件处理，适用于软件开发、量化金融和人工智能等领域。关键词：后台作业、进程管理、任务调度、DevOps、自动化、ML训练、回测系统、监控工具、资源优化、进程控制。

这个技能用于分析Claude Code开发工具的会话数据，以发现和优化插件改进机会。它是一个开发工具，帮助插件贡献者通过结构化管道进行会话分析，提升开发效率。关键词：Claude Code、插件改进、会话分析、开发工具、量化分析、DevOps工具。

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

Excel分析技能通过编程方式处理和分析Excel电子表格，支持数据导入、清洗、汇总、透视表创建、图表生成及报告导出，适用于各类数据分析场景，如商业智能、财务报告和量化交易中的数据预处理。作为股票量化交易专家，该技能可用于历史股票数据处理、策略回测评估和绩效报告生成。关键词：Excel分析, 数据分析, 数据透视表, 图表, pandas, Python, 数据清洗, 量化交易, 股票数据, 回测系统。

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

Bun Hono 集成技能是用于在Bun运行时上快速构建Web API的框架，专为高性能和轻量级设计。它支持路由、中间件、REST API、验证、错误处理等功能，适用于开发后端服务、微服务和量化交易系统API。关键词：Bun, Hono, Web框架, API开发, 后端开发, 快速开发, 量化交易

这是一个用于Makepad框架的问答路由技能，帮助开发者处理Makepad和Robius相关的UI开发问题，包括部件设计、布局管理、事件处理、动画效果和着色器编写等。关键词：Makepad, Robius, UI开发, Rust框架, 路由技能, 前端开发, 量化交易专家不适用此内容。