该技能用于实现线性类型系统和线性 lambda 演算，支持资源管理、量子编程、内存验证等应用。关键词包括线性类型、线性 lambda 演算、资源管理、量子计算、内存管理、线性逻辑、类型系统。

语言服务器协议（LSP）是一种用于实现集成开发环境（IDE）功能的协议，提供代码自动补全、跳转到定义、悬停文档、重构等智能功能。它基于JSON-RPC，管理文本文档同步和代码分析，广泛应用于Python、TypeScript、Rust、Go等多种语言的开发工具中，提升开发效率和代码质量。关键词：LSP、语言服务器、IDE、代码导航、重构、开发工具。

该技能是一个系统化框架，用于分析软件错误，识别根因，设计预防措施，并捕获知识，以防止未来类似错误。关键词：错误分析、调试、预防机制、知识捕获、软件开发、SEO搜索优化。

Atheris是一个基于libFuzzer的覆盖引导Python模糊测试工具，专门用于对纯Python代码和Python C扩展进行模糊测试，并集成了AddressSanitizer支持以检测内存腐蚀问题。关键词：Python模糊测试、覆盖引导、libFuzzer、内存腐蚀、AddressSanitizer。

AIOS测试架构师与质量顾问激活器是一个专为软件测试和质量控制设计的工具，提供全面的测试架构审查、质量门决策和代码改进建议。它支持需求追溯、风险评估、测试策略分析等功能，旨在提升软件质量和团队效率。关键词：测试架构、质量顾问、代码审查、需求追溯、风险评估、软件测试。

该技能是一个基于Python Playwright的自动化测试工具包，专为本地Web应用程序设计，支持前端功能验证、UI行为调试、浏览器截图捕获和日志查看。关键词包括Playwright、Web测试、自动化测试、UI调试、截图工具、日志分析、前端验证、软件测试。

这个技能用于设置和组织Playwright测试项目，包括配置管理、测试结构设计、并行执行优化、重试策略和环境适配等，帮助构建可扩展、可维护的自动化测试套件。关键词：Playwright测试，测试架构，自动化测试，前端测试，配置管理，并行执行，重试策略，测试报告。

死代码检测技能用于通过静态分析工具 TLDR 查找代码库中的未使用函数和死代码，帮助进行代码清理和重构，提高代码质量。关键词：死代码、未使用函数、静态分析、代码清理、重构。

PPTX技能专注于Microsoft PowerPoint文件（.pptx格式）的创建、编辑和分析。它包括文本提取、XML处理、HTML到PPTX转换、模板使用等功能，适用于自动化演示文稿设计、高效处理和文档分析。关键词：PPTX、演示文稿、创建、编辑、分析、模板、HTML、XML、自动化、设计。

Claude Code是一个由Anthropic开发的代理编码工具，专注于自动化软件开发流程，包括规划、执行、验证，并支持通过技能、插件和MCP服务器进行扩展。适用于编码自动化、AI代理集成、CI/CD工作流、测试和文档生成等场景，提高开发效率和代码质量。关键词：编码自动化、AI代理、软件开发、MCP集成、技能管理、CI/CD、代理编码工具、Anthropic。

这个技能用于自动化处理GitHub拉取请求中的代码审查评论。它从受信任的作者处读取未解决的评论，根据产品原则进行分类，并执行相应操作，如修复代码、回复解释或标记需人工审查，以提升代码审查效率和一致性。关键词包括GitHub PR、代码审查、自动化、AI辅助、DevOps、工具开发。

这是一个自动化Git工作流程的技能，用于快速提交代码更改、运行代码质量检查、自动修复问题并推送到GitHub。关键词：Git自动化、代码提交、lint检查、DevOps工具、GitHub推送、快速推送、自动化脚本。