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
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
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.
Instructions file
Claude Code instructions for starkware-libs/stwo-cairo, covering priority contract, stack, workspace structure, auto-generated code and commands.