Verified-zkEVM/VCVio

A Lean library for machine-checked cryptographic proofs.

Latest release v4.35.0 · 20 Oct 2026

2 files for Codex, OpenCode and Claude Code: VCVio AGENTS.md, VCVio CLAUDE.md — 10,510 tokens loaded in every session.

Open on GitHub

172Stars on the repository

2Files it configures its agents with

10,510Tokens loaded in every session

3Agents configured

Instructions

VCVio AGENTS.md AGENTS.md A 10,507 tok
VCVio CLAUDE.md CLAUDE.md A 3 tok

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