certorail
claudeThe program-author guide and the ambient certorail policy in every session's context, plus the certorail-policy authoring skill.
1 skill · hooks
0
Plugin marketplace
certorail
Plugins published from Certora/certorail.
Add this marketplace
Then install any plugin below by name — each page has its exact command.
README badge
Shows how many plugins this repo ships, and links here.
claude & codex pluginslisted