runtimeverification/kontrol
Kontrol combines KEVM and Foundry to grant developers the ability to perform formal verification without learning a new language or tool.
124 stars18forks168issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
40 of 44outside PRs merged (91%)
checked