keep-starknet-strangekeep-starknet-strangeOfficialยท2 Agent Skills Included

garaga

Cairo code optimization, profiling, and SNARK verifier development

Optimizes Cairo smart contract code with proven patterns for loops, arithmetic, storage packing, and BoundedInt types. Profiles Cairo functions to find execution hotspots by steps, gas, and builtin usage, with visual call-graph reports. Eliminates slow manual refactoring and guesswork when building efficient Starknet contracts and SNARK verifiers.
npx skills add keep-starknet-strange/garaga --all -g -y
Available:

Gives your AI agent the project layout, build commands, and critical invariants (Rust/Python parity, WASM regeneration, Cairo circuit rules) needed to work correctly inside the Garaga codebase.

All Skills in This Repository (2)

Pure Emerald Level Indicators

Frequently Asked Questions

FAQPage Schema
How to install Garaga skills?โ–ผ

Run `npx skills add keep-starknet-strange/garaga --all -g -y` in your terminal to install all skills in this suite globally.

How to optimize slow Cairo code?โ–ผ

The cairo-coding skill applies proven patterns like DivRem, pointer-based iteration, and BoundedInt types to cut gas costs and execution steps in your Cairo functions.

How to profile a Cairo function?โ–ผ

The benchmarking-cairo skill runs a single CLI command that executes your test, builds a profile, and exports a call-graph PNG showing hotspots by steps or gas.

Does Garaga work with Claude Code and Cursor?โ–ผ

Yes. All skills follow the universal SKILL.md standard and run in Claude Code, Cursor, Codex, and other compatible agents.

What is Garaga used for on Starknet?โ–ผ

Garaga provides elliptic curve operations and SNARK verifier generation for Cairo, letting developers verify Groth16 and Noir proofs directly on Starknet.

Related Repositories in Software Engineering

View All in Software Engineeringโ†’