软件开发 Skill技能列表
语言服务器协议Skill language-server-protocol
语言服务器协议（LSP）是一种用于实现集成开发环境（IDE）功能的协议，提供代码自动补全、跳转到定义、悬停文档、重构等智能功能。它基于JSON-RPC，管理文本文档同步和代码分析，广泛应用于Python、TypeScript、Rust、Go等多种语言的开发工具中，提升开发效率和代码质量。关键词：LSP、语言服务器、IDE、代码导航、重构、开发工具。
λ演算解释器Skill lambda-calculus-interpreter
本技能用于实现和操作 lambda 演算解释器，支持无类型和简单类型变体，涵盖 β-归约、闭包、评估策略（如按值调用和按名调用）等核心概念。适用于学习功能性编程基础、构建语言解释器、研究编程语言理论。关键词：lambda 演算、解释器、功能性编程、闭包、β-归约、评估策略。
JIT编译器构建者Skill jit-compiler-builder
该技能用于构建即时编译（JIT）系统，应用于动态语言运行时、虚拟机设计和性能优化。它支持机器码生成、重新编译处理、动态优化和内存管理，关键词包括JIT编译器、动态优化、编译器构建、运行时系统、性能优化和即时编译。
循环不变式生成器Skill invariant-generator
该技能用于自动推断循环不变式，以支持程序验证、自动化证明和循环分析。关键词：不变式生成、程序验证、循环分析、自动化、软件测试。
网页界面指南审查专家Skill web-design-guidelines
这个技能用于自动审查网页UI代码，确保其符合最新网页界面指南，提升可访问性、用户体验和设计质量。适用于前端开发中的代码审计和最佳实践检查，关键词包括UI审查、可访问性、设计审核、网页设计、界面指南、a11y、可用性、代码审查。
开发日志管理器Skill journal-manager
这是一个轻量级知识日志工具，专为软件开发设计，用于记录和共享开发中的经验教训、bug修复和见解，支持索引和条目双层系统，可实现自动保存，提高团队协作效率和知识积累。关键词：开发日志、知识管理、bug跟踪、自动保存。
GitHub问题评论指南Skill github-issues
这个技能用于指导开发者在GitHub平台上撰写有效的问题评论和拉取请求评论，以促进社区互动、提高沟通效率并支持开源协作。关键词包括GitHub、问题评论、拉取请求、社区沟通、开发者协作、开源贡献、沟通技巧、项目管理。
BitbucketAPI与Git操作技能Skill bitbucket
此技能允许用户通过 BITBUCKET_TOKEN 环境变量与 Bitbucket API 交互，管理代码仓库、创建和更新拉取请求，执行 Git 操作，适用于代码托管和协作开发。关键词：Bitbucket、API、Git、pull request、版本控制、代码管理、DevOps。
撰写有效READMESkill crafting-effective-readmes
这个技能是关于撰写和优化README文件的指南，提供模板和指导，帮助用户根据项目类型和受众需求创建有效的文档。关键词包括：README撰写、项目文档、文档优化、开源项目文档、文档指南。
事件响应Skill incident-response
事件响应技能用于系统化管理和处理生产事件，包括检测、分类、缓解、解决和后处理分析，以最小化系统停机时间并防止问题复发。关键词：生产事件、事故管理、DevOps、响应流程、停机预防、热修复、后处理分析。
浏览器自动化代理Skill browser-automation-agent
这个技能使用agent-browser CLI工具为AI代理自动化Web浏览器，通过确定性元素选择实现可靠的web交互自动化，包括表单填写、按钮点击、截图、PDF生成和web scraping。关键词包括：浏览器自动化、AI代理、agent-browser、确定性元素选择、web测试、自动化测试、截图、PDF生成、web scraping。
反转练习Skill InversionExercise
反转练习是一种批判性思维技能，通过翻转核心假设来揭示隐藏约束和替代方法，帮助在软件开发、产品管理等场景中跳出传统思维，优化解决方案。关键词：反转假设、隐藏约束、替代方法、批判性思维、问题解决、SEO优化。