Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
2 files for Codex, OpenCode and Claude Code: stwo-cairo AGENTS.md, stwo-cairo CLAUDE.md — 3,186 tokens loaded in every session.
AGENTS.md A 1,022 tok CLAUDE.md A 2,164 tok These files are starkware-libs/stwo-cairo's own configuration — they tell Codex, OpenCode and Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.