OpenAgentSkill Registry Manifest
Skill: CertoraProver
Slug: certora-certoraprover
Category: web3-analytics
Description: 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

Agent fit:
- Decision: 75/100 Strong shortlist
- Primary fit: Coding agents
- Role: Companion skill

Supply profile:
- Track: Finance and quant workflows
- Scenario: Coding agents
- Applicable agents: Claude Code, CLI, Codex, Cursor, Kotlin
- Maintenance: 3mo since push
- Risk: Needs review

Trust:
- Trust score: 80/100 Strong shortlist
- Audit: 83/100 Needs review

Attribution:
- Status: Community indexed
- Source: GitHub star discovery
- Creator: Certora
- Claim URL: https://www.openagentskill.com/skills/certora-certoraprover#claim-this-skill

Install:
npx skills add Certora/CertoraProver

URLs:
- Web: https://www.openagentskill.com/skills/certora-certoraprover
- API: https://www.openagentskill.com/api/agent/skills/certora-certoraprover
- Install API: https://www.openagentskill.com/api/skills/certora-certoraprover/install
- Repository: https://github.com/Certora/CertoraProver