How do I install the Cairo skill?

Run npx skillmds@latest add hairyf/cairo in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

Is Cairo safe to use?

This skill has not completed SkillMD's automated safety review yet. Independent scanners report: SkillSpector: PASS, Skill Scanner: PASS. Capability flags: docs only. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with Cairo?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Is Cairo free to use?

Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.

hairyf (@hairyf) published this skill. Their other Agent Skills are listed on their SkillMD profile.

Cairo by hairyf — Agent Skill

Name: Cairo
Rating: 4.2 (5 reviews)
Author: hairyf

File contents

Skill based on Cairo (starkware-libs/cairo), generated from sources/cairo. Doc path: sources/cairo/docs/reference/src/components/cairo/modules/.

Cairo is a Turing-complete language for provable programs (Starknet, general computation). It uses a Rust-like syntax, Sierra as an intermediate representation, and compiles to CASM. Use this skill for writing and compiling Cairo programs and Starknet contracts, and for understanding types, traits, and linear semantics.

Core References

Topic	Description	Reference
Modules and crates	Crates, modules, use, super, file layout	core-modules-and-crates
Functions	Signatures, mut/ref, methods, implicits, nopanic, local compilability	core-functions
Structs and enums	Definitions, instantiation, destructuring, match	core-structs-and-enums
Traits and impls	Traits, named impls (of), impl generics, dispatch	core-traits-and-impls
Types and generics	Type system, generics, Array, Felt252Dict, fixed arrays	core-types-and-generics
Linear types	Move, Copy, Drop, Destruct, Clone, snapshot (@)	core-linear-types
Derive and prelude	Derive macro, common traits, prelude	core-derive-and-prelude

Features

Starknet

Topic	Description	Reference
Starknet contracts	Storage, entry points, events, ABI, dispatchers, syscalls	features-starknet-contracts

Tooling

Topic	Description	Reference
CLI and compilation	cairo-compile, sierra-compile, cairo-run, starknet-compile	features-cli-and-compilation
Match and panic	Match (enum/felt252), panic, nopanic, panic_with	features-match-and-panic

Best Practices

Topic	Description	Reference
Naming and memory	Conventions, struct copy semantics, array/dict patterns	best-practices-naming-and-memory

---name: cairodescription: Cairo language and compiler—Rust-like syntax, Sierra/CASM pipeline, Starknet contracts, linear types, and tooling.metadata: author: hairy version: "2026.2.24" source: Generated from https://github.com/starkware-libs/cairo, scripts at https://github.com/antfu/skills---> Skill based on Cairo (starkware-libs/cairo), generated from `sources/cairo`. Doc path: `sources/cairo/docs/reference/src/components/cairo/modules/`.Cairo is a Turing-complete language for provable programs (Starknet, general computation). It uses a Rust-like syntax, Sierra as an intermediate representation, and compiles to CASM. Use this skill for writing and compiling Cairo programs and Starknet contracts, and for understanding types, traits, and linear semantics.## Core References| Topic | Description | Reference ||-------|-------------|-----------|| Modules and crates | Crates, modules, use, super, file layout | [core-modules-and-crates](references/core-modules-and-crates.md) || Functions | Signatures, mut/ref, methods, implicits, nopanic, local compilability | [core-functions](references/core-functions.md) || Structs and enums | Definitions, instantiation, destructuring, match | [core-structs-and-enums](references/core-structs-and-enums.md) || Traits and impls | Traits, named impls (of), impl generics, dispatch | [core-traits-and-impls](references/core-traits-and-impls.md) || Types and generics | Type system, generics, Array, Felt252Dict, fixed arrays | [core-types-and-generics](references/core-types-and-generics.md) || Linear types | Move, Copy, Drop, Destruct, Clone, snapshot (@) | [core-linear-types](references/core-linear-types.md) || Derive and prelude | Derive macro, common traits, prelude | [core-derive-and-prelude](references/core-derive-and-prelude.md) |## Features### Starknet| Topic | Description | Reference ||-------|-------------|-----------|| Starknet contracts | Storage, entry points, events, ABI, dispatchers, syscalls | [features-starknet-contracts](references/features-starknet-contracts.md) |### Tooling| Topic | Description | Reference ||-------|-------------|-----------|| CLI and compilation | cairo-compile, sierra-compile, cairo-run, starknet-compile | [features-cli-and-compilation](references/features-cli-and-compilation.md) || Match and panic | Match (enum/felt252), panic, nopanic, panic_with | [features-match-and-panic](references/features-match-and-panic.md) |## Best Practices| Topic | Description | Reference ||-------|-------------|-----------|| Naming and memory | Conventions, struct copy semantics, array/dict patterns | [best-practices-naming-and-memory](references/best-practices-naming-and-memory.md) |

Frequently asked questions

Cairo