AI Agent Skill Repository
Browse reusable skills for Codex, Claude Code, Cursor, finance, research, web scraping, PPT, football analytics, data, marketing, design, and more.
Live registry search
Exact name and slug matches are checked against the live registry before ranked alternatives.
Decision filters
Showing 1-1 of 1 ranked candidates matching "certora"
Best blend of relevance, quality, freshness, and verified outcomes
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
$ npx skills add Certora/CertoraProverScenario Browser automation · I need my agent to control a browser, fill forms, and verify web app workflows.
CLI + Codex · 4 targets
AI Agent Skill Repository
Browse reusable skills for Codex, Claude Code, Cursor, finance, research, web scraping, PPT, football analytics, data, marketing, design, and more.
Live registry search
Exact name and slug matches are checked against the live registry before ranked alternatives.
Decision filters
Showing 1-1 of 1 ranked candidates matching "certora"
Best blend of relevance, quality, freshness, and verified outcomes
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
$ npx skills add Certora/CertoraProverScenario Browser automation · I need my agent to control a browser, fill forms, and verify web app workflows.
CLI + Codex · 4 targets