软件开发 Skill技能列表
关系参数化证明器Skill relational-parametricity-prover
这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。
PDF处理技能Skill pdf
PDF处理技能是指使用Python库（如pypdf、pdfplumber、reportlab）和命令行工具（如pdftotext、qpdf）来执行PDF文档的读取、编辑、创建、合并、拆分、文本提取、表格提取、OCR识别、水印添加和密码保护等操作。适用于自动化文档处理、数据提取和大规模PDF分析。关键词：PDF处理、Python编程、文本提取、表格提取、OCR技术、文档自动化、命令行工具、数据提取。
操作语义定义器Skill operational-semantics-definer
操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。
Datadog监控与分析Skill datadog
Datadog监控分析技能，用于通过Datadog API查询和分析日志、指标、APM跟踪和监控器，帮助调试生产问题、监控应用性能或调查警报。关键词：Datadog、监控、日志分析、指标查询、APM、DevOps。
自动化代码审查与修复技能Skill review
此技能用于执行代码审查，通过比较软件开发计划与实现来验证验收标准，自动修复发现的问题，并生成结构化报告。关键词包括：代码审查、自动修复、计划对比、验收测试、回归测试、软件开发、质量控制、自动化工具。
持续改进技能Skill kaizen-continuous-improvement
持续改进技能用于通过小而渐进的变更迭代优化软件开发过程、提升代码质量、优化团队工作流、减少浪费和低效，并培养持续改进文化。关键词：持续改进、流程优化、代码质量、团队实践、DevOps、回顾学习。
双模拟检查器Skill bisimulation-checker
双模拟检查器是用于验证进程演算中双模拟等价的工具，支持强双模拟和弱双模拟。通过算法如分区细化，高效检查并发系统的语义等价，应用于编译器优化验证、协议验证、进程等价证明等场景。关键词：双模拟、进程演算、等价验证、并发系统、形式验证、分区细化、强双模拟、弱双模拟、编译器优化、协议验证。
别名与指向分析Skill alias-and-points-to-analysis
该技能用于静态分析中的别名和指向分析，计算指针的指向目标和别名关系，适用于编译器优化、内存安全验证、程序理解、并行化等场景。关键词：静态分析、别名分析、指向分析、指针、编译器优化、内存安全。
点文件管理器Skill dotfiles-manager
点文件管理器技能用于帮助用户组织、同步和部署开发环境配置文件，涉及版本控制、符号链接、跨平台设置等。适用于开发者和系统管理员，提升配置一致性和可移植性。关键词：点文件管理、配置文件组织、符号链接策略、跨平台环境、开发配置、自动化部署、版本控制、Git、Stow、dotbot、chezmoi、yadm、rcm。
协同文件分析工作流Skill analyze-with-file
该技能是一个交互式协作分析工具，用于基于文件的代码库探索、多视角技术评估、文档化讨论和决策记录。支持软件架构设计、代码审查和技术决策，关键词：协作分析、文件分析、架构设计、代码审查、决策记录、多轮问答、技术评估。
日常编码检查清单Skill daily-coding
这个技能是一个日常编码质量保证工具，提供检查清单，帮助开发者在编写和修改代码时遵循最佳实践，提高代码质量、安全性和可维护性。关键词包括：编码检查清单、代码质量、最佳实践、Python、TypeScript、安全编码、开发工具、质量保证、编程规范。
可访问性合规Skill accessibility-compliance
这个技能提供新闻网站、学术平台等的可访问性合规模式，用于构建无障碍界面、审计网站的WCAG合规性、编写图像替代文本、创建可访问数据可视化、确保多媒体内容可访问，并满足法律要求。它帮助开发人员和内容发布者确保所有读者（包括使用辅助技术的用户）都能平等访问网络内容。关键词：可访问性、无障碍设计、WCAG、新闻网站、数据可视化、图像替代文本、键盘导航、屏幕阅读器。