starknet-skills

Routes Cairo/Starknet coding and audit tasks to the smallest relevant module for focused, high-quality execution.

Cairo smart-contract authoring on Starknet. Trigger on "write a contract", "create a contract", "implement this in Cairo", "add storage/events/interface", "compose components". Guides structure, security patterns, and component wiring.

Improves Cairo performance after correctness is established. Trigger on "optimize", "gas usage", "reduce steps", "profile", "BoundedInt", "storage packing", "benchmark". Guides profiling, arithmetic optimization, and bounded-int hardening.

Cairo smart-contract testing with snforge. Trigger on "write tests", "add unit tests", "fuzz test", "integration test", "test this contract", "regression test". Guides test strategy, cheatcode usage, and coverage.

Covers Starknet build, declare, deploy, verify, and release operations with a deterministic workflow and command-level references.

Security audit of Cairo/Starknet code. Trigger on "audit", "check this contract", "review for security". Modes - default (full repo), deep (+ adversarial reasoning), or specific filenames.

Run a local security audit on a Cairo repository

Run evaluation benchmarks and report precision/recall

Run all local quality checks before submitting a PR

Starknet network-level constraints and protocol facts that impact contract safety and agent reasoning.