本技能提供 ast-grep 规则编写和使用的全面最佳实践指南，帮助开发者高效进行代码搜索、linting 和转换，适用于编写、审查和调试代码分析规则。关键词：ast-grep, 代码搜索, linting, 代码转换, YAML规则, 模式语法, 元变量, 约束, 代码重写, 最佳实践。

事件建模技能是一种基于Adam Dymitruk方法论的可视化工具，用于设计和规划事件驱动系统。它涵盖命令、事件、读模型和自动化四种规范，通过泳道图帮助团队在软件开发中进行架构设计、事件驱动架构规划和最佳实践遵循。关键词：事件建模，事件驱动系统，架构设计，泳道图，命令事件模型，系统设计，软件架构，可视化方法，业务过程建模。

这是一个自动化工具，用于执行代码队列中的解决方案。它从指定队列中获取解决方案，串行执行每个任务（包括实现、测试和验证），并在每个解决方案完成后进行 git 提交。支持工作树模式以隔离工作，便于并行执行和恢复。工具还包括错误处理、完成后的合并或 PR 创建选项。关键词：问题执行、代码队列、自动化、git 提交、测试验证、DevOps、工作流管理。

此技能用于以实践方式解释企业架构概念，帮助开发者和架构师学习和应用TOGAF、Zachman、ADR等框架和工具，适用于软件开发中的架构设计、决策记录和系统规划。关键词：企业架构、TOGAF、Zachman、ADR、学习、实践、架构设计。

这是一个全面的软件质量系统，包含了从测试策略设计到执行、覆盖范围和报告的详细步骤和模板，旨在帮助团队提高软件质量并确保软件的可靠性和安全性。

SMT求解器接口技能提供在形式化验证、程序综合和自动推理中使用SMT（可满足性模理论）求解器的专业指导。该技能涵盖Z3、CVC5等主流求解器的查询生成、理论选择、模型提取和调试分析，帮助开发者解决软件验证、硬件验证、约束求解等复杂问题。关键词：SMT求解器，形式化验证，程序综合，Z3，CVC5，自动推理，约束求解，软件验证。

这个技能使用Notion API来自动化管理Notion中的页面、数据库和块，支持创建、读取、更新、查询等操作，适用于开发者和团队进行内容自动化、工作流集成和应用程序开发。关键词：Notion API, 自动化, 页面管理, 数据库查询, 开发集成, API调用, 后端开发, 低代码自动化。

这个技能提供了基于 Robius 框架和 Makepad 构建应用程序的架构模式最佳实践，专注于异步集成、Tokio 运行时、UI 和后台任务通信，适用于开发高效异步处理的生产级跨平台应用。关键词包括：Robius、Makepad、异步架构、Tokio、应用程序设计、跨平台开发、UI 线程、后台任务、SignalToUI、Cx::post_action。

这个技能用于掌握现代JavaScript（ES6+）核心特性，包括箭头函数、解构、异步操作、函数式编程模式等，帮助开发者编写高效、可维护的前端代码，适用于重构遗留系统、优化Web应用性能及提升代码质量。关键词：JavaScript开发，ES6+，前端优化，异步编程，代码重构，函数式编程，性能提升。

使用Redux、MobX、Zustand和Context API等现代库和模式，实现复杂前端应用的状态管理，包括状态共享、可预测的状态变化和时间旅行调试。

这个技能是一个综合的UI/UX设计指南库，提供多种风格、配色方案、字体搭配和UX最佳实践，支持跨技术栈的设计系统生成，适用于网页和移动应用开发。关键词：UI设计、UX设计、配色方案、字体搭配、设计系统、响应式设计、无障碍设计、性能优化、前端开发。

此技能用于通过网页验证、引用管理和内容更新，自动刷新过时信息，确保准确性和透明度。适用于事实检查、文档刷新和SEO优化。关键词：网页研究、内容验证、引用跟踪、文档管理、事实检查、SEO搜索。