数值积分技能专注于在数值方法中解决积分计算问题，包括识别积分类型、选择合适的求积方法（如高斯积分、自适应积分）、处理多维积分和验证准确性。它利用工具如scipy和sympy进行实现，广泛应用于数据分析、科学计算和工程模拟。关键词：数值积分、积分计算、scipy、自适应方法、数据分析、科学计算。

本技能提供功能分析中巴拿赫空间的问题解决策略，包括验证Banach空间、应用Hahn-Banach定理、开映射定理、闭图像定理和一致有界原理等关键定理。它集成了Z3和Sympy工具进行数学证明和计算，适用于数学研究、数据分析和学术写作。关键词：巴拿赫空间、功能分析、数学证明、Z3求解器、Sympy计算、问题解决、线性算子、泛函分析。

这是一个用于与用户协作创建详细计划，并将批准的计划转换为GitHub issue的工具。关键词包括协作、计划、GitHub、issue、项目管理、软件开发、任务跟踪、代码协作、敏捷开发。

这是一个用于集成 Linear 问题跟踪和项目管理系统的技能。它提供了脚本来自动化创建问题、管理项目、搜索问题，并支持 GraphQL 查询，方便团队协作和状态管理。关键词：Linear，问题跟踪，项目管理，自动化，集成工具，GraphQL，脚本，团队协作。

这个技能是关于如何使用MPM工具进行项目管理代理的操作指南。它涵盖了任务委托、进度跟踪、Bash工具使用、向量搜索、浏览器验证等关键方面，帮助PM代理高效管理软件开发项目。关键词：项目管理、代理、工具使用、委托、验证、向量搜索、Bash、软件开发、效率提升。

PM教学模式是一种提供教学模板和渐进式披露模式的技能，用于项目管理的教学和用户指导，特别适用于解释MPM概念和AI代理的工作流程。关键词包括PM、教学、模板、项目管理、AI代理、渐进式披露、用户指导、MPM概念、软件开发生命周期、DevOps、敏捷开发。

这个技能提供了一个结构化工作流，用于指导用户通过协作创建文档，适用于撰写技术规格、提案、决策文档等任务。它帮助高效传递上下文、通过迭代完善内容，并进行读者测试以确保文档对目标受众有效。关键词：文档协作、工作流、结构化写作、上下文传递、迭代完善、读者测试、Claude技能、文档创建。

该技能专注于Excel电子表格的创建、编辑、分析和可视化，支持公式设置、数据格式化、错误检查和金融建模。适用于数据处理、量化金融、业务报表和自动化工作流。关键词：Excel, 数据处理, 公式计算, 数据分析, 金融建模, 数据可视化, 错误检查, 自动化

一个工具，用于自动生成标准用户故事（如“作为用户，我想要...以便...”格式）和接受标准（如“给定...当...然后...”格式），帮助团队高效进行需求分析、敏捷开发和文档化。关键词包括：用户故事、接受标准、敏捷开发、需求分析、自动化生成、功能需求、软件开发工具、用户故事模板。

本技能是一个交互式工具，用于指导产品经理基于假设、风险和资源选择正确的Proof of Life (PoL)探针类型，以有效验证学习目标，避免方法-假设不匹配。关键词：PoL探针、验证方法、产品管理、假设测试、快速验证、风险消除、原型测试。

帕累托分析器是一个专门用于识别关键少数原因和优先改进工作的技能，通过AI技术进行数据分析，包括基本帕累托图创建、多级帕累托分析、加权帕累托分析等，关键词包括帕累托分析、数据分析、关键少数、改进优先级。

EDN分析器是一个专门用于深入分析Logseq数据库图模板的工具，它能够统计类别和属性，识别孤立项，检查模板质量，并比较不同版本的模板。