AgentSkillsCN

cairo-oracles

当请求涉及在 Cairo 中为自定义类型重载运算符时,讲解如何使用 core::ops 特质(如 Add)来实现运算符重载。

SKILL.md
--- frontmatter
name: cairo-oracles
description: Explain Cairo oracles for offloading computation in executables, oracle::invoke, and constraints for soundness; use when a request involves experimental oracles or external computation in Cairo.

Cairo Oracles

Overview

Explain how to offload computations to external oracles in Cairo executables and constrain results.

Quick Use

  • Read references/oracles.md before answering.
  • Emphasize oracles are experimental and not available in Starknet contracts.
  • Always show constraints that validate oracle outputs.

Response Checklist

  • Use oracle::invoke(connection, selector, inputs) returning oracle::Result<T>.
  • Connection strings typically use stdio: to spawn a process.
  • Assert constraints immediately after oracle calls.
  • Run executables with scarb execute --experimental-oracles.

Example Requests

  • "How do I call an oracle from Cairo?"
  • "Why must I validate oracle outputs?"
  • "Can oracles be used in Starknet contracts?"