该技能用于通过第一性原理方法计算材料属性，包括结构弛豫、表面能、吸附能、反应势垒、声子计算、弹性常数等，使用ASE工具包进行科学模拟。适用于材料科学研究、工程应用和学术分析，关键词：材料科学、计算模拟、密度泛函理论、ASE、表面能、吸附能、反应势垒、声子、弹性模量、热力学建模。

前端开发模式技能专注于使用React和Next.js等现代前端框架的最佳实践，涵盖组件设计、状态管理、性能优化、表单处理、错误边界、动画和可访问性等方面，帮助开发者构建高性能、可维护的用户界面。关键词：前端开发、React、Next.js、组件模式、状态管理、性能优化、SEO、Web开发。

该技能提供全栈搜索与过滤功能的实现方案，涵盖前端React/TypeScript组件和后端Python优化，适用于电商搜索、数据表过滤等场景，关键词：搜索、过滤、前端开发、后端开发、性能优化、可访问性、SEO、全栈开发。

内存模型分析器是一个专注于并发程序正确性验证的工具技能。它能够帮助开发者在不同的硬件架构（如x86 TSO、ARM弱内存模型）和编程语言内存模型（如C++11、Java）下，分析多线程程序的执行行为。核心功能包括：检测数据竞争、指导内存屏障（Memory Barrier/Fence）的正确插入、验证同步原语的使用、以及确保程序在弱内存模型下的预期语义。适用于系统软件开发、高性能计算、分布式系统等需要严格并发控制的领域。 关键词：内存模型，并发编程，数据竞争，内存屏障，顺序一致性，TSO分析，弱内存模型，同步验证，多线程调试，C++内存模型

动力学与振动分析技能是机械工程领域的核心专业能力，专注于对结构或机械系统进行模态分析、频率响应计算和振动特性表征。该技能用于提取系统的固有频率和振型，进行谐波响应、随机振动及瞬态冲击仿真，以评估其动态行为、预测共振风险并优化设计。关键词包括：模态分析、频率响应、振动特性、固有频率、谐波响应、随机振动、冲击响应谱、阻尼建模、结构动力学、共振规避。

这是一个统一的团队技能，用于UI设计团队，支持多角色协作，包括协调员、研究员、设计师、审查员和实现者。它涵盖设计系统分析、设计令牌定义、组件规格、可访问性审计和代码实现，实现双轨设计+开发流程，提高界面设计效率和质量。关键词：UI设计、团队协作、设计系统、前端开发、可访问性、多角色工作流、设计智能、代码生成。

正式验证技能是一种用于FPGA（现场可编程门阵列）和硬件设计的自动化验证方法。它通过形式化方法（如模型检验和属性验证）对设计进行数学上的穷尽性检查，无需依赖传统的仿真测试。核心功能包括编写系统Verilog断言（SVA）、配置约束、分析反例、执行有界/无界模型检验，并与JasperGold、VC Formal等专业工具集成。该技能能确保硬件设计在功能、安全性和活性方面完全符合规范，尤其适用于验证时钟域交叉（CDC）、复杂控制逻辑和关键安全属性，是提高芯片设计可靠性和缩短验证周期的关键技术。 关键词：FPGA验证，正式验证，模型检验，属性验证，SVA断言，JasperGold，VC Formal，硬件验证，形式化方法，反例分析，约束配置，CDC验证，有界模型检验，RTL验证

这是一个基于Chrome DevTools Protocol (CDP) 的网页浏览器控制工具，用于自动化Web交互，包括点击按钮、填写表单、导航链接等操作。适用于自动化测试、Web爬虫、协作站点探索和浏览器自动化任务。关键词：Chrome控制、Web自动化、CDP、浏览器交互、自动化测试、Web爬虫、远程调试。

此技能专注于在Godot游戏引擎中实现和配置物理系统。核心功能包括：刚体（RigidBody）动力学配置、碰撞层与遮罩管理、射线与形状投射（Ray/Shape Casting）、区域（Area）触发器设置以及物理材质应用。适用于游戏开发中实现角色移动、物体交互、碰撞检测、物理模拟等核心玩法，是构建具有真实物理反馈的2D或3D游戏的关键工具。关键词：Godot物理，游戏开发，碰撞检测，刚体模拟，射线投射，物理引擎，游戏物理。

测试代码技能专注于编写和执行自动化测试，用于验证软件功能、确保代码质量、提高覆盖率，并涵盖单元测试、集成测试、组件测试和端到端测试等多种类型。它帮助开发者提前发现缺陷，优化软件可靠性。关键词：自动化测试、代码覆盖率、软件测试、测试框架、测试驱动开发、边缘案例。

Mermaid图表渲染器是一款将Mermaid文本定义转换为高质量图像（PNG/SVG/PDF）的工具，支持流程图、序列图、类图、ER图等多种图表类型，提供主题定制、背景设置和Markdown集成功能，适用于软件架构设计、文档生成和数据可视化场景。关键词：Mermaid图表渲染，流程图生成，架构图工具，文档自动化，数据可视化，主题定制，Puppeteer渲染。

语言服务器协议（LSP）开发技能，用于构建支持代码补全、语法高亮、定义跳转、悬停提示、代码重构等完整IDE功能的语言服务器。关键词：语言服务器协议、LSP开发、IDE插件、代码智能感知、语义分析、JSON-RPC、编程语言工具链、开发工具集成。