claudeindex
Plugin

certora

Certora formal verification with CVL — write mathematical proofs for smart contract correctness. Rules, invariants, ghost variables, hooks, parametric rules, multi-contract verification, and counter-example debugging.

Installation

1

Add the marketplace

/plugin marketplace add 0xinit/cryptoskills
2

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

Repository & Links

Plugin Source

View Plugin Code

GitHub Repository

0xinit/cryptoskills

Details & Metadata