Instructions file CodexOpenCode
Instructions for Verified-zkEVM/clean, covering agents.md - ai agent context for clean, what is clean?, project structure, core concepts and the circuit monad.
180 3d ago A 3,447 tokens
original MIT
180Stars on the repository
3Mods indexed here, across every type
3d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Instructions file
Instructions for Verified-zkEVM/clean, a project described as: Lean circuit DSL.
180 3d ago A 3 tokens
copy · 100% MIT