DevSecOps工程专家专注于将安全实践集成到开发运维流程中，负责构建安全的CI/CD管道、实施左移安全策略、自动化安全测试、管理合规性和保护软件供应链。关键词包括：DevSecOps、安全CI/CD、容器安全、基础设施扫描、秘密管理、供应链安全、左移安全、自动化测试、合规代码、Kubernetes安全、SBOM生成。

这个技能用于在软件开发中，通过系统化的工作流程，创建高质量的Git提交，包括审查更改、逻辑分割、编写清晰提交消息，以提高代码审查效率和部署安全性。关键词：Git提交、版本控制、软件开发、代码管理、提交消息、Conventional Commits、高质量提交。

这个技能专注于使用 Svelte 5 框架进行高效前端开发，涵盖 TanStack Query 的突变模式管理、shadcn-svelte UI 组件库的集成与最佳实践，以及组件组合和自我封装的设计模式。适用于构建现代化、响应式的单页应用，提升开发效率和用户体验。关键词：Svelte, TanStack Query, shadcn-svelte, 前端开发, 组件开发, 状态管理, UI 设计, 数据突变

这个技能涉及通过条件编译和代码修补技术来绕过模糊测试中的障碍，如校验和验证、全局状态和复杂检查，以提高软件测试覆盖率和发现潜在漏洞。适用于软件开发中的模糊测试场景，帮助开发者和测试人员更有效地进行安全测试和缺陷检测。关键词：模糊测试，障碍克服，代码修补，条件编译，软件测试，覆盖率提升，安全漏洞发现。

这个技能专注于Makepad跨平台开发，提供平台支持、条件编译和平台API使用指导，帮助开发者在macOS、Windows、Linux、iOS、Android、Web等多个操作系统上构建兼容且高性能的应用。关键词：Makepad、跨平台开发、平台支持、条件编译、OsType、图形后端、前端UI。

类型类实现技能用于在编程语言中实现ad-hoc多态性和重载，通过定义类声明、实例声明等操作，支持类型安全的多态操作，常见于Haskell、Rust和Scala等语言。关键词：类型类、多态性、编程语言、Haskell、Rust、Scala、重载、类型安全。

这是一个用于实现和理解lambda演算解释器的技能，帮助开发者掌握传值调用和传名调用评估策略，适用于函数式编程学习和实践。

goplaces 是一个命令行界面工具，用于查询 Google Places API，支持地点搜索、详情查看、解析和评论获取，适用于自动化脚本和人类友好的地点查找。关键词：Google Places API, CLI, 地点搜索, JSON输出, 自动化, 命令行工具, 地点查询, 地图服务, 开发工具。

行多态性是一种类型系统技术，用于实现可扩展的记录和变体类型。它支持结构化的多态性和类型推断，适用于编程语言设计、对象系统和类型安全的数据查询。关键词：行多态性、可扩展记录、类型系统、编程语言、对象系统、数据库查询。

这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。

寄存器分配器是编译器的关键优化组件，用于将虚拟寄存器映射到物理寄存器，提升代码执行效率。通过图着色、线性扫描、合并和溢出代码处理，优化编译器后端、JIT编译和GPU着色器。关键词包括：寄存器分配、编译器优化、图着色、线性扫描、活性分析、SSA形式、溢出代码。

操作语义定义器是一种用于定义编程语言的操作语义的技能，包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词：操作语义，编程语言，语义定义，证明，解释器，语言设计，形式化方法，计算机科学理论。