starkware-libs/stwo-cairo

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

282Stars on the repository
2Mods indexed here, across every type
20d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied

starkware-libs/stwo-cairo

Instructions file CodexOpenCode

AGENTS.md instructions for starkware-libs/stwo-cairo, covering stwo cairo agent architecture, roles, workflow, standard change (non-crypto) and soundness-critical change.

282 20d ago A 1,022 tokens

starkware-libs/stwo-cairo

Instructions file

Claude Code instructions for starkware-libs/stwo-cairo, covering priority contract, stack, workspace structure, auto-generated code and commands.

282 20d ago A 2,164 tokens