搜索结果: "量化"
OpenAPI编写技能Skill openapi-authoring
OpenAPI编写技能用于创建和验证OpenAPI 3.1规范，支持REST API设计，遵循API-first和contract-first开发方法。关键词包括：OpenAPI, API设计, REST API, 规范编写, 验证, 开发实践, 架构设计, 量化交易无关，专注于API文档。
分析会话Skill analyze-sessions
这个技能用于分析Claude Code开发工具的会话数据，以发现和优化插件改进机会。它是一个开发工具，帮助插件贡献者通过结构化管道进行会话分析，提升开发效率。关键词：Claude Code、插件改进、会话分析、开发工具、量化分析、DevOps工具。
数据科学Skill data-science
数据科学技能专注于数据分析、SQL查询、Python编程和统计建模，用于数据处理、洞察提取、可视化和量化金融应用。关键词：数据分析、SQL、Python、数据可视化、统计、ETL、BigQuery、数据工程、商业智能。
Polygon自动化集成技能Skill polygon-automation
本技能通过Rube MCP和Composio工具包实现Polygon金融数据API的自动化操作，包括工具发现、连接管理和任务执行，提升量化交易和数据分析的工作流效率。关键词：Polygon自动化、Rube MCP、Composio、工具集成、工作流自动化、金融数据API。
mboum自动化Skill mboum-automation
这个技能用于通过Rube MCP自动化Mboum任务，实现金融数据操作自动化，适用于量化交易和数据处理。关键词：自动化、Mboum、Rube MCP、Composio、金融数据、量化交易、算法交易。
Makepad路由技能Skill makepad-router
这是一个用于Makepad框架的问答路由技能，帮助开发者处理Makepad和Robius相关的UI开发问题，包括部件设计、布局管理、事件处理、动画效果和着色器编写等。关键词：Makepad, Robius, UI开发, Rust框架, 路由技能, 前端开发, 量化交易专家不适用此内容。
系统F（多态Lambda演算）Skill system-f
系统F（多态Lambda演算）是一种编程语言理论技能，用于实现多态类型系统、构建泛型编程结构、研究类型理论基础。它扩展了简单类型Lambda演算，支持类型抽象和类型应用，使得可以对类型进行全称量化，适用于ML风格模块系统、参数多态性理解等场景。关键词：多态Lambda演算、类型抽象、类型应用、泛型编程、类型安全、参数性、全称量化、编程语言理论、类型系统、多态性。
代码成熟度评估器Skill code-maturity-assessor
代码成熟度评估器是一个系统性工具，用于基于Trail of Bits的9类别框架分析代码库的成熟度，覆盖算术安全、审计实践、访问控制、复杂性、去中心化、文档、MEV风险、低级代码和测试。它生成专业评分卡和可操作建议，适用于智能合约、区块链项目和一般软件的安全评估与优化。关键词：代码成熟度评估、安全审计、Trail of Bits、智能合约安全、测试覆盖率、文档评估、量化金融安全、区块链审计。
外部研究Skill research-external
这是一个用于进行外部研究的工作流程技能，专注于文档、网络和API的研究，帮助用户获取库使用指南、最佳实践和一般主题信息。关键词：外部研究、文档搜索、API研究、最佳实践、量化交易、股票分析。
Pint单位计算Skill pint-compute
Pint单位计算技能是一个使用Pint库进行单位感知计算的工具，支持单位转换、维度分析、单位算术等操作，适用于数据科学、工程和金融领域的数量处理与分析。关键词：单位计算、Pint库、数据转换、维度分析、量化金融、科学计算。
连续性Skill continuity
本技能提供解决实分析中连续性问题的策略，包括函数极限定义检查、使用SymPy计算极限、处理分段函数和Z3验证连续性。适用于数学分析、数据科学和量化金融等领域。关键词：连续性，实分析，SymPy，Z3，数据分析，极限计算。
σ-代数解题技能Skill sigma-algebras
这个技能专注于解决测度论中的sigma代数相关问题，包括公理验证、生成方法、可测性检查和乘积代数构建。适用于概率论、数据分析和量化交易场景。关键词：sigma代数, 测度论, 可测函数, 概率论, 量化金融, 数据分析。