这个技能用于实现Hindley-Milner类型推理算法，支持let多态性、约束生成和解等关键功能，适用于函数式编程语言如ML、Haskell的类型系统实现。关键词：类型推理、Hindley-Milner、编程语言、函数式语言、统一化、约束解决、多态性、编译原理。

这个技能用于通过Rube MCP和Composio工具包自动化Sendfox电子邮件营销任务，包括工具发现、连接管理和工作流执行。关键词：Sendfox自动化，Rube MCP，Composio，邮件营销，工作流自动化，工具集成，自动化技能。

团队管理器是一个用于管理和存储团队编码风格、规则和知识持久化配置的工具，支持跨项目自动注入，使用三阶内存和TF-IDF搜索技术。关键词：团队管理、编码风格、TF-IDF、持久化配置、开发工具、DevOps。

这个技能通过Rube MCP和Composio工具包自动化Recallai任务，包括工具发现、连接管理和工作流执行。适用于需要集成Recallai功能的开发者和AI智能体，关键词包括Recallai、Rube MCP、Composio、自动化、工具集成、工作流。

该技能用于自动化验证软件开发项目中文档与测试的一致性，检查API导出是否与文档对齐，确保测试覆盖新修改的函数，并建议运行相关测试命令。关键词：文档验证、测试检查、API对齐、软件开发工具、自动化测试。

该技能用于通过Rube MCP和Composio工具包自动化Precoro任务，实现连接管理、工具发现、执行工作流等功能，提升业务流程效率。关键词：自动化，Precoro，Rube MCP，Composio，工作流，API集成，DevOps，低代码开发。

此技能用于通过Rube MCP和Composio工具包自动化Postgrid任务，实现工具发现、连接管理和工作流执行，提升操作效率。关键词：Postgrid自动化, Rube MCP, Composio, 工具集成, 工作流自动化, MCP协议。

PandaDoc自动化技能通过集成PandaDoc API，允许用户在Claude Code中自动化文档创建、管理联系人、组织文件夹、设置Webhook、创建模板和跟踪文档状态，提升文档工作流效率。关键词：文档自动化，PandaDoc集成，工作流管理，Claude Code，API集成，SaaS工具。

这个技能用于自动化New Relic监控工作流，通过集成工具管理警报策略、配置通知渠道（如电子邮件、Slack）、监控应用程序性能，并实现跨应用警报集成。关键词：New Relic、自动化、监控、DevOps、警报管理、observability、APM、通知渠道。

该技能用于查询和显示MPM系统的版本信息，包括项目版本、构建号、代理和技能的详情，适用于软件版本管理和系统监控。关键词：MPM、版本信息、代理、技能、软件版本、系统管理、DevOps、项目管理。

该技能用于开发高质量MCP（Model Context Protocol）服务器，实现大型语言模型通过设计良好的工具与外部服务交互，涵盖API集成、工具设计、错误处理、性能优化和评估流程。关键词：MCP，服务器开发，AI工具，LLM集成，API覆盖，后端开发，TypeScript，Python。

此技能用于开发自定义Clippy lints、实现lint passes和为Clippy项目贡献代码，以维护和提升Rust代码质量与标准。关键词：Clippy，Rust，代码检查，lint开发，贡献，代码标准，Rust开发工具。