AgentSkillsCN

cairo-ownership

当请求涉及在 Cairo 中使用预言机来卸载可执行文件中的计算任务、调用 oracle::invoke,以及保障计算的可靠性时,讲解 Cairo 的预言机原理与相关约束。

SKILL.md
--- frontmatter
name: cairo-ownership
description: Explain Cairo ownership, moves, Copy/Drop/Destruct traits, and scope-based destruction; use when a request involves use-after-move errors, copying values, or ownership semantics in Cairo.

Cairo Ownership

Overview

Guide Cairo's ownership rules, move semantics, and destruction traits so code compiles without ownership errors.

Quick Use

  • Read references/ownership.md before answering.
  • Identify whether the type is moved, copied, dropped, or destructed.
  • Provide small examples showing the move or copy that fixes the error.

Response Checklist

  • State the three ownership rules and apply them to the failing line.
  • If a value is used after move, suggest borrowing (snapshot/ref) or copying (Copy trait).
  • Mention Drop vs Destruct when dictionaries or resource-like types are involved.

Example Requests

  • "Why is this variable unavailable after I pass it to a function?"
  • "How do I make my struct Copy?"
  • "Why can't I derive Drop for a struct containing a dictionary?"

Cairo by Example