Verified-zkEVM/clean

Lean circuit DSL

Latest release v4.35.0 · 2 Nov 2026

2 files for Codex, OpenCode and Claude Code: clean AGENTS.md, clean CLAUDE.md — 3,450 tokens loaded in every session.

Open on GitHub clean.zksecurity.xyz

208Stars on the repository

2Files it configures its agents with

3,450Tokens loaded in every session

3Agents configured

Instructions

clean AGENTS.md AGENTS.md A 3,447 tok
clean CLAUDE.md CLAUDE.md A 3 tok

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.