软件开发 Skill技能列表
关系参数化证明器Skill relational-parametricity-prover
这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。
任务执行引擎Skill task-execution-engine
这个技能是任务执行引擎，用于自动化执行软件开发中的实现任务。它基于设计文档中的Markdown复选框来管理任务状态，支持批处理、恢复中断工作，并集成到功能管道中。关键词包括：任务执行、自动化实现、Markdown任务管理、软件开发工具、DevOps。
操作语义定义器Skill operational-semantics-definer
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。
Pi工具Skill pi-tools
Pi 工具技能用于查看和管理已同步到 Dex 平台的 Pi 构建扩展，提供列表显示、强制同步、状态查看和详细展示功能，帮助开发者高效管理工具集成和扩展。关键词：Pi扩展管理, Dex同步, 工具注册, 技能生成, 自动化同步
AsyncRedux调试技能Skill asyncredux-debugging
这个技能用于帮助开发者调试AsyncRedux应用程序，涵盖状态检查、动作跟踪、日志记录和性能监控。关键词：AsyncRedux, 调试, Flutter, 状态管理, 开发工具, 移动应用开发, 异步处理, 性能优化。
GitHub问题分流与贡献者信息提取技能Skill gh-issue-triage
此技能用于GitHub开源项目的问题管理自动化工作流，通过分析、澄清、归档、标记、实施和信用步骤，高效处理问题报告，并提取贡献者信息如Twitter句柄，以确保在代码更改集中给予适当致谢。关键词：GitHub问题分流，贡献者信用管理，工作流自动化，开源协作，Twitter集成，DevOps工具。
过长技能Skill too-long-skill
这个技能用于测试技能文件长度验证，包含超过500行的填充内容，旨在验证文件长度限制并触发验证失败。关键词：技能验证、文件长度、测试、验证失败、量化交易、数据统计。
双模拟检查器Skill bisimulation-checker
双模拟检查器是用于验证进程演算中双模拟等价的工具，支持强双模拟和弱双模拟。通过算法如分区细化，高效检查并发系统的语义等价，应用于编译器优化验证、协议验证、进程等价证明等场景。关键词：双模拟、进程演算、等价验证、并发系统、形式验证、分区细化、强双模拟、弱双模拟、编译器优化、协议验证。
别名与指向分析Skill alias-and-points-to-analysis
该技能用于静态分析中的别名和指向分析，计算指针的指向目标和别名关系，适用于编译器优化、内存安全验证、程序理解、并行化等场景。关键词：静态分析、别名分析、指向分析、指针、编译器优化、内存安全。
日常编码检查清单Skill daily-coding
这个技能是一个日常编码质量保证工具，提供检查清单，帮助开发者在编写和修改代码时遵循最佳实践，提高代码质量、安全性和可维护性。关键词包括：编码检查清单、代码质量、最佳实践、Python、TypeScript、安全编码、开发工具、质量保证、编程规范。
漏洞侦探Skill bug-detective
漏洞侦探是一个系统调试技能，用于调查和解决代码错误、异常和失败。提供结构化调试工作流程、常见错误模式识别、故障排除方法和预防性策略，帮助开发者快速定位和修复软件问题。关键词：调试、错误排查、代码错误、故障排除、系统调试、软件测试、漏洞修复、调试工具、错误模式、Python调试、JavaScript调试、Bash调试。
Ruby块、Proc和LambdaSkill ruby-blocks-procs-lambdas
Ruby 块、Proc 和 Lambda 是 Ruby 编程语言的核心功能编程特性，用于实现闭包、高阶函数等模式，提升代码表达性和优雅性。适用于软件开发和后端工程。关键词包括 Ruby 编程、功能编程、块、Proc、Lambda、闭包、高阶函数、后端开发。