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

这个技能提供Bankr API项目的快速启动模板，包括自动化机器人、Web服务、仪表板和命令行工具等四种项目类型的目录结构、关键功能和用例。适用于开发人员快速搭建基于Bankr API的应用，支持量化交易、市场监控、Portfolio管理等场景。SEO关键词：Bankr项目模板、软件开发、自动化交易、API集成、项目脚手架、量化金融、Web服务开发、CLI工具。

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

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

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

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

这是一个基于加密货币现货市场与Polymarket二元期权市场之间价格滞后性的量化交易策略。该技能通过实时监控币安现货价格变动与Polymarket15分钟二元期权市场的反应速度差异，识别套利机会。当检测到现货价格已发生显著变动（如0.12-0.14%），而Polymarket市场尚未及时调整时，系统会自动执行交易指令，买入滞后的一方，并在价格收敛时平仓获利。策略支持多时间窗口检测（5-120秒）、可配置的止盈止损机制，并默认以模拟模式运行确保安全。关键词：加密货币套利、量化交易、Polymarket、二元期权、价差交易、高频策略、自动化交易、风险控制。

这个技能用于自动化软件开发和部署流程，包括持续集成和持续部署，特别适用于量化交易系统，以提高部署效率、可靠性和自动化水平。关键词：CI/CD，自动化，GitHub Actions，GitLab CI，量化交易，持续集成，持续部署，测试策略。

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

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

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