Verified-zkEVM/VCVio — Instructions

142Stars on the repository

15Mods indexed here, across every type

4d agoLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 2 mods

VCVio AGENTS.md

Instructions file CodexOpenCode

Instructions for Verified-zkEVM/VCVio, covering vcvio — ai agent guide, fast start, attribution, headers, and docstrings, module scopes and what this project is.

142 4d ago A 5,618 tokens original Apache-2.0

VCVio CLAUDE.md

Verified-zkEVM/VCVio

Instructions file

Instructions for Verified-zkEVM/VCVio, a project described as: A Lean library for machine-checked cryptographic proofs.

142 4d ago A 3 tokens copy · 100% Apache-2.0