软件开发 Skill技能列表
宏扩展器Skill macro-expander
宏扩展器是一种编程技能，用于在编译时实现宏系统，进行语法抽象和代码生成。关键词包括宏系统、编译时、代码生成、语法抽象、元编程。
循环终止证明器Skill loop-termination-prover
循环终止证明器是一种用于程序验证的技能，通过分析循环结构和发现排名函数来证明循环的终止性。适用于验证程序总正确性、分析程序循环行为，并使用形式方法确保软件可靠性。关键词：循环终止、排名函数、程序验证、终止证明、形式验证、软件测试。
无锁数据结构Skill lock-free-data-structure
无锁数据结构技能专注于设计和实现无需锁机制的高并发数据结构，以提高系统性能和可扩展性。关键词：无锁数据结构，并发编程，高并发，CAS操作，ABA问题，内存安全，无等待算法。
LLVM后端生成器Skill llvm-backend-generator
LLVM后端生成器是一个用于生成LLVM中间表示（IR）和构建编译器后端的技能，广泛应用于编译器开发、代码生成和优化领域。它支持构建新语言编译器、实现语言后端、创建优化管道和生成原生代码，关键功能包括LLVM IR生成、指令选择构建、优化通行证实现和ABI处理。这个技能对于软件架构设计、系统编程和语言工具开发至关重要，便于SEO搜索的关键词有：LLVM、编译器、后端、代码生成、优化、IR、ABI、架构设计、软件工程。
线性类型实现器Skill linear-type-implementer
该技能用于实现线性类型系统和线性 lambda 演算，支持资源管理、量子编程、内存验证等应用。关键词包括线性类型、线性 lambda 演算、资源管理、量子计算、内存管理、线性逻辑、类型系统。
词法分析器生成器Skill lexer-generator
词法分析器生成器技能用于从正则表达式规范自动生成词法分析器，广泛应用于编译器、解释器和领域特定语言的开发中。关键词：词法分析、正则表达式、编译器前端、分词器、NFA、DFA、正则表达式解析、词法分析器设计、编程语言实现。
语言服务器协议Skill language-server-protocol
语言服务器协议（LSP）是一种用于实现集成开发环境（IDE）功能的协议，提供代码自动补全、跳转到定义、悬停文档、重构等智能功能。它基于JSON-RPC，管理文本文档同步和代码分析，广泛应用于Python、TypeScript、Rust、Go等多种语言的开发工具中，提升开发效率和代码质量。关键词：LSP、语言服务器、IDE、代码导航、重构、开发工具。
λ演算解释器Skill lambda-calculus-interpreter
本技能用于实现和操作 lambda 演算解释器，支持无类型和简单类型变体，涵盖 β-归约、闭包、评估策略（如按值调用和按名调用）等核心概念。适用于学习功能性编程基础、构建语言解释器、研究编程语言理论。关键词：lambda 演算、解释器、功能性编程、闭包、β-归约、评估策略。
Pylint检查器开发技能Skill pylint-checkers
本技能提供了Pylint检查器的全面指南，涵盖从安装配置到高级开发的所有方面，包括内置检查器、自定义检查器和检查器开发。用于提高Python代码质量，适用于测试、代码审查和CI/CD集成，关键词：Pylint, Python, 代码质量, 检查器, 测试, 开发, 代码审查, CI/CD。
GitHubIssue自动生成技能Skill create-issue
这个技能用于自动化生成全面的GitHub issue，包括问题规范、技术细节、TDD计划、接受标准和代理指令，以便自主管理PR生命周期，提高开发效率和协作质量。关键词：GitHub issue、自动化、PR管理、TDD、DevOps、软件开发、持续集成、代码审查。
imsg命令行消息管理技能Skill imsg
imsg 是一个用于 macOS 系统的命令行工具，允许用户通过终端管理 iMessage 和 SMS 消息，包括列出聊天、获取历史、监视新消息和发送消息。关键词：iMessage, SMS, CLI, macOS, 消息管理, 自动化, 终端工具, 苹果消息, 命令行界面。
浏览器自动化代理Skill browser-automation-agent
这个技能使用agent-browser CLI工具为AI代理自动化Web浏览器，通过确定性元素选择实现可靠的web交互自动化，包括表单填写、按钮点击、截图、PDF生成和web scraping。关键词包括：浏览器自动化、AI代理、agent-browser、确定性元素选择、web测试、自动化测试、截图、PDF生成、web scraping。