Instructions file CodexOpenCode
Instructions for Verified-zkEVM/CompPoly, covering comppoly ai agent guide, fast start, where to work, guardrails and deeper docs.
47 5d ago A 1,775 tokens
original Apache-2.0
47Stars on the repository
2Mods indexed here, across every type
5d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Instructions file
Instructions for Verified-zkEVM/CompPoly, a project described as: Computable Polynomials in Lean.
47 5d ago A 3 tokens
copy · 100% Apache-2.0