Data as of Jul 25, 2026 · Based on 2,718,867 AI responses across 9,511 prompts · See how Parse measures this
ConCertgithub.com · Low evidenceConCert is a framework for smart contract verification in Rocq (formerly Coq), enabling formal verification and property-based testing of blockchain contracts. It includes an embedding of smart contracts into Rocq, an execution layer for reasoning about interacting contracts, and an extraction pipeline targeting languages like Liquidity, CameLIGO, Elm, and Rust.
Parse Score