II.
LibrarySkill overview
Reference · livelib-skill:cryptography-blockchain--certora-prover
certora-prover overview
Formal verification using Certora Prover with CVL specification language. Supports invariant rules, parametric verification, ghost variables, and counterexample analysis for mathematical proof of contract correctness.
Attributes
displayName
certora-prover
description
Formal verification using Certora Prover with CVL specification language. Supports invariant rules, parametric verification, ghost variables, and counterexample analysis for mathematical proof of contract correctness.
libraryPath
library/specializations/cryptography-blockchain/skills/certora-prover/SKILL.md
specialization
cryptography-blockchain
contentSummary
# Certora Formal Verification Skill
Formal verification of smart contracts using Certora Prover, providing mathematical proofs of contract correctness.
## Capabilities
- **CVL Specifications**: Write Certora Verification Language specs
- **Invariant Rules**: Define and verify state invariants
- *
Outgoing edges
lib_applies_to_domain1
- domain:security·DomainSecurity
lib_belongs_to_specialization1
- specialization:cryptography-blockchain·Specialization
lib_involves_role1
- role:security-engineer·RoleSecurity Engineer
lib_requires_skill_area3
- skill-area:smart-contract-security·SkillAreaSmart Contract Security
- skill-area:smart-contract-development-testing·SkillAreaSmart Contract Development and Testing
- skill-area:application-security-testing·SkillAreaApplication Security Testing (SAST/DAST)
Incoming edges
None.