用途：该技能用于审查 Starknet 账户合约的验证与执行路径，设计 session-key 策略边界，并验证 nonce 与签名语义。不适用于不涉及账户语义的通用合约编写。
主要能力与核心关注点：validate 的约束与抗 DoS 能力；execute 的策略执行正确性；重放保护与域分离；特权 selector 与自调用保护。
使用方式（快速开始）：确认 validate 执行轻量、有界检查；确认 execute 强制策略与 selector 边界；为所有签名路径验证重放保护（nonce/域分离）；为每个已修复的 session-key 或策略问题添加回归测试；合并前运行 cairo-auditor 做最终 AA/安全审查。
工作流：默认工作流（default workflow），模块索引见 references index。
示例（starknet.js）：使用 RpcProvider、Account 与 CallData，先通过 provider.callContract 调用 validate 预览校验行为（仅调试用），再通过 account.execute 触发 execute 与 nonce 检查，并用 waitForTransaction 等待确认。
错误码与恢复：AA-001 表示 validate 过于昂贵或有状态，应移除验证中的重逻辑并添加限制验证步骤的测试；AA-002 表示 execute 允许被阻止的 selector/自调用，应强制 selector 过滤与自调用检查并添加授权/未授权回归测试；AA-003 表示 nonce 或域不匹配导致重放风险，应规范化 nonce 来源/哈希域并添加重放与跨域测试；AA-999 表示意外运行时 panic，应捕获 calldata 与调用者上下文，在单元测试中复现后升级至 cairo-auditor。
限制：资料未提供具体安装命令、收费与平台支持信息，暂未提供。