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

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

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

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

此技能允许通过Otto机器人自动控制Discord，实现消息发送、频道管理、表情符号和贴纸上传、投票运行等多种功能，适用于团队协作、社区运营和自动化管理场景。关键词：Discord, 自动化, 机器人, 消息管理, 社区运营, Otto, Discord操作

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

跨过程分析是一种静态分析技能，用于分析程序中函数或过程之间的交互，实现全程序分析。它涉及构建调用图、执行上下文敏感分析等，常用于安全漏洞检测、编译器优化和bug查找。关键词：跨过程分析、静态分析、程序分析、安全检测、编译器优化。

规模游戏是一种测试方法，通过在极端规模（如1000倍增大或减小、瞬时或长达一年）下测试系统，来揭示正常规模下隐藏的根本真相。它用于不确定可扩展性、边缘案例不清晰或验证生产环境架构的场景。关键词包括：极端测试、可扩展性、架构验证、规模游戏、软件开发测试。

该技能是一个系统化框架，用于分析软件错误，识别根因，设计预防措施，并捕获知识，以防止未来类似错误。关键词：错误分析、调试、预防机制、知识捕获、软件开发、SEO搜索优化。

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

这个技能用于自动审查网页UI代码，确保其符合最新网页界面指南，提升可访问性、用户体验和设计质量。适用于前端开发中的代码审计和最佳实践检查，关键词包括UI审查、可访问性、设计审核、网页设计、界面指南、a11y、可用性、代码审查。

这是一个使用外部大型语言模型（如OpenAI Codex和Google Gemini）进行代码审查的工具。它通过CLI接口，支持审查未提交的更改、分支差异或特定提交，帮助开发者提高代码质量、安全性和性能。关键词：代码审查、LLM、外部工具、安全扫描、性能优化、错误处理、自动化审查。