2 files for Codex, OpenCode and Claude Code: evm-asm AGENTS.md, evm-asm CLAUDE.md — 13,846 tokens loaded in every session.
AGENTS.md A 12,487 tok CLAUDE.md A 1,359 tok These files are Verified-zkEVM/evm-asm'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.