Verified-zkEVM/clean

Lean circuit DSL

These files are Verified-zkEVM/clean'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.