云计算 - SkillsBot AI Skill技能库

纳斯达克自动化Skill nasdaq-automation

这个技能用于通过Rube MCP自动化纳斯达克股票市场相关任务，包括数据获取、交易工具调用和连接管理。关键词：纳斯达克自动化、Rube MCP、Composio、股票交易、量化工具、自动化工作流。

MicrosoftClarity数据分析自动化Skill MicrosoftClarityAutomation

此技能用于自动化导出和分析 Microsoft Clarity 平台的用户行为数据，包括热图数据、会话指标和参与度分析，支持按浏览器、设备、国家/地区、来源等多维度细分。适用于量化金融、网站优化、数据分析和商业智能领域，帮助用户高效处理行为数据。关键词：Microsoft Clarity、自动化、用户行为分析、数据分析、量化金融、SEO优化、数据可视化。

mboum自动化Skill mboum-automation

这个技能用于通过Rube MCP自动化Mboum任务，实现金融数据操作自动化，适用于量化交易和数据处理。关键词：自动化、Mboum、Rube MCP、Composio、金融数据、量化交易、算法交易。

MolyKitAI聊天工具包Skill molykit

MolyKit技能是一个全面的工具包，专为构建跨平台AI聊天应用程序设计，使用Makepad框架，支持集成OpenAI等大型语言模型API，提供SSE流式响应处理、即用型聊天组件和跨平台异步模式。关键词：MolyKit, AI聊天, 跨平台, 异步, Rust, Makepad, OpenAI, 聊天组件, SSE流式传输, BotClient, 量化交易, 股票分析, 数据统计分析, 投资评估。

Makepad路由技能Skill makepad-router

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

系统F（多态Lambda演算）Skill system-f

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

循环优化器Skill loop-optimizer

循环优化器是一种编译器和性能优化技能，通过循环展开、融合、平铺和向量化等变换，提升程序性能，减少开销，增加并行性，改善缓存局部性。适用于编译优化、数值计算、机器学习、图像处理等场景，关键词包括循环优化、编译器、性能提升、SIMD、缓存优化。

代码成熟度评估器Skill code-maturity-assessor

代码成熟度评估器是一个系统性工具，用于基于Trail of Bits的9类别框架分析代码库的成熟度，覆盖算术安全、审计实践、访问控制、复杂性、去中心化、文档、MEV风险、低级代码和测试。它生成专业评分卡和可操作建议，适用于智能合约、区块链项目和一般软件的安全评估与优化。关键词：代码成熟度评估、安全审计、Trail of Bits、智能合约安全、测试覆盖率、文档评估、量化金融安全、区块链审计。