部分求值是一种程序优化技术，用于通过静态计算对程序进行专业化处理。它主要应用于编译器构建、解释器专业化和代码生成，通过绑定时间分析区分静态与动态值，并利用离线或在线方法生成高效的残差程序。关键词：部分求值、程序专业化、编译器、优化、绑定时间分析、代码生成。

符号执行引擎是一种用于程序分析的技能，主要用于自动化测试生成、bug检测和路径探索。它通过创建符号值、系统化探索路径条件、生成约束并利用SMT求解器来构建测试用例。关键词包括符号执行、测试生成、路径覆盖、bug检测、程序验证、SMT求解、路径探索、约束求解。

这个技能通过Rube MCP自动化Weathermap操作，使用Composio的Weathermap工具包，提供工具发现、连接管理和执行工作流等功能，适用于自动化任务和工具集成，关键词包括Weathermap、自动化、Rube MCP、Composio、工作流。

这个技能用于自动化生成和更新Terraform基础设施即代码模块的文档，包括README文件、输入输出表格和使用示例，提高开发效率和文档一致性。关键词：Terraform，文档生成，自动化，README，模块文档，DevOps。

这个技能涵盖React中各种组件模式，如组合模式、自定义钩子、渲染属性、高阶组件和复合组件，用于构建高效、可维护的前端UI组件。关键词：React组件、组合、自定义钩子、渲染属性、高阶组件、复合组件、性能优化、前端开发、代码分割、虚拟滚动。

这个技能专注于使用UV、pip-tools和requirements.txt等工具来高效管理Python项目的依赖关系，包括依赖安装、版本控制、冲突解决、虚拟环境设置以及CI/CD集成，旨在提高开发效率和项目可维护性。关键词：Python依赖管理、UV工具、pip-tools、requirements.txt、依赖解析、虚拟环境、CI/CD、版本控制、依赖冲突解决。

Nuxt SEO优化模块是一个用于Nuxt.js框架的SEO工具集，提供配置SEO、生成robots.txt和sitemap.xml、创建动态OG图像、添加JSON-LD结构化数据等功能，帮助提升网站搜索排名和用户体验。关键词：Nuxt SEO、SEO优化、站点地图、OG图像、结构化数据。

这个技能用于配置和优化响应流式传输，包括设置块大小、延迟、打字指示符，以及适配不同平台的限制。适用于开发实时通信应用和提升用户体验，关键词包括流式传输、实时输出、打字指示符、API配置、平台限制。

该技能用于管理和配置SSH隧道、ngrok暴露、Cloudflare隧道等远程访问工具，支持端口转发和多种隧道类型，适用于开发、测试和生产环境中的远程部署、Webhook测试和安全访问。关键词：SSH隧道、ngrok、Cloudflare、远程访问、端口转发、DevOps工具、Webhook测试、安全隧道。

qmd是一个高效的本地Markdown文档搜索工具，支持关键词（BM25）、语义（向量）和混合搜索模式，帮助用户快速管理和检索个人知识库中的信息。适用于笔记整理、文档搜索和知识管理，提高工作效率。关键词：Markdown搜索工具，本地文件搜索，笔记检索系统，AI搜索应用，文档管理软件，快速搜索，知识库管理。

这个技能用于审查Web前端代码，确保符合可访问性、用户体验和性能标准，生成按文件分组的详细审查报告，适用于代码审计、PR审查和合规报告生成。关键词：前端开发、UI审查、可访问性、性能优化、代码质量、Web界面指南、合规检查。

这个技能用于列出Claude Code的各种组件，包括环境变量、会话、设置、技能和工具。它帮助用户管理和配置开发环境，提高工作效率。关键词：Claude Code、组件列表、环境变量、配置管理、开发工具、技能列表、工具列表、会话管理。