2 repositories with Claude Code or Codex plugins.
The certora-verify Claude Code skill: end-to-end formal verification of a Solidity contract with the Certora Prover
2 plugins · Certora/autoprover-skill
1 plugin · Certora/certorail