用途：Cairo 是面向可证明程序的图灵完备语言，可用于 Starknet 与通用计算。本技能用于编写和编译 Cairo 程序及 Starknet 合约，并理解类型、trait 与线性语义。
主要能力：核心参考覆盖模块与 crate（crates、modules、use、super、文件布局）、函数（签名、mut/ref、方法、implicits、nopanic、局部可编译性）、结构体与枚举（定义、实例化、解构、match）、trait 与 impl（trait、具名 impl（of）、impl 泛型、分发）、类型与泛型（类型系统、泛型、Array、Felt252Dict、定长数组）、线性类型（Move、Copy、Drop、Destruct、Clone、快照 @）、derive 与 prelude（derive 宏、常用 trait、prelude）。Starknet 部分覆盖合约的存储、入口点、事件、ABI、dispatcher、syscall。工具链部分覆盖 CLI 与编译：cairo-compile、sierra-compile、cairo-run、starknet-compile，以及 match 与 panic（枚举/felt252 的 match、panic、nopanic、panic_with）。最佳实践涉及命名与内存（约定、结构体拷贝语义、数组/字典模式）。
使用方式：资料未提供具体安装命令或调用步骤，仅列出上述参考主题与命令名称。
适用场景：编写与编译 Cairo 程序、开发 Starknet 合约、理解 Sierra 中间表示与 CASM 编译流程、掌握线性类型与 trait 系统。
限制：资料未说明收费、价格、平台支持范围或实际效果，相关事实暂未提供。