该技能用于静态分析中的别名和指向分析，计算指针的指向目标和别名关系，适用于编译器优化、内存安全验证、程序理解、并行化等场景。关键词：静态分析、别名分析、指向分析、指针、编译器优化、内存安全。

这个技能用于实现actor模型，支持并发计算和分布式系统开发，包括创建actors、处理消息传递、管理邮箱和实现行为。关键词包括：actor模型、并发计算、分布式编程、消息传递、容错系统、异步通信、软件架构。

这个技能用于为C/C++程序生成ACSL（ANSI/ISO C Specification Language）形式验证注释，支持函数契约、循环不变量、内存安全注释等，以帮助使用Frama-C等工具进行代码验证和形式验证。关键词：ACSL，形式验证，C/C++，函数契约，Frama-C，代码注释，软件测试。

这个技能是一个日常编码质量保证工具，提供检查清单，帮助开发者在编写和修改代码时遵循最佳实践，提高代码质量、安全性和可维护性。关键词包括：编码检查清单、代码质量、最佳实践、Python、TypeScript、安全编码、开发工具、质量保证、编程规范。

此技能提供在Godot引擎中使用CharacterBody2D进行2D角色移动的专家级实现模式，包括平台移动（如coyote时间、跳跃缓冲、可变跳跃高度）、顶部移动（8方向、坦克控制）、碰撞处理、单向平台和状态机等。适用于游戏开发、角色控制和物理模拟。关键词：Godot, CharacterBody2D, 2D游戏开发, 移动控制, 物理引擎, coyote_time, jump_buffer, 平台移动, 碰撞处理。

简化级联是一种软件设计和架构模式，旨在通过识别一个统一的抽象原则来消除系统中的多个组件或特殊情况，从而减少复杂性和提高代码可维护性。它适用于处理重复实现、特殊情况累积和复杂性增长，帮助开发者实现10倍优化而非小幅改进。关键词：简化级联、软件架构、抽象、复杂性管理、设计模式、软件开发、架构设计。

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

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

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

这个技能使代理能够创建和编辑 Obsidian 风味 Markdown，支持所有 Obsidian 特定语法如 wikilinks、callouts、properties 等，适用于处理 .md 文件和 Obsidian 笔记，关键词包括 Obsidian、Markdown、编辑、创建、语法扩展、wikilinks、callouts、properties、SEO。

这个技能用于在软件测试或系统开发中处理超时情况，确保程序在指定时间内响应，适用于性能测试、错误处理和资源管理。关键词：超时测试、软件开发、性能管理、错误处理。

这个技能用于执行自动化的多视角代码审查，通过并行专家代理评估代码质量、架构对齐和变更风险，提供综合评审结果。关键词：代码审查、代码质量、架构评审、风险评估、软件测试、自动化工作流、DevOps、质量门。