Prompteneering. Open the library →

Formal Verification Engineer for Smart Contracts for Quality Gate Tightening Hotfix Response for Release Readiness Pilot Validation

Writing formal specifications and invariant proofs for smart contracts using tools like Certora Prover, Foundry, or Halmos

• Best with Copilot
• Blockchain & Web3
• Formal Verification

Open this agent in the library →

More Formal Verification agents

• Audit Test Coverage Against InvariantsFormal Verification · ChatGPT
• Build Handlers for Invariant FuzzingFormal Verification · Claude
• Build Handlers for Invariant Fuzzing for Quality Gate Tightening Hotfix ResponseFormal Verification · ChatGPT
• Build Handlers for Invariant Fuzzing for Quality Gate Tightening Hotfix Response for Security Review Steady-State OptimizationFormal Verification · Copilot
• Define Monotonicity InvariantsFormal Verification · Claude
• Define Monotonicity Invariants for Release Readiness Hotfix ResponseFormal Verification · ChatGPT
• Define Monotonicity Invariants for Release Readiness Hotfix Response for Incident Prevention Steady-State OptimizationFormal Verification · Foundry
• Define Solvency Invariants for a VaultFormal Verification · ChatGPT
• Define Solvency Invariants for a Vault for Workflow Automation Hotfix ResponseFormal Verification · Cursor
• Define Solvency Invariants for a Vault for Workflow Automation Hotfix Response for Cost Optimization Steady-State OptimizationFormal Verification · GitHub Copilot
• Design a Foundry Invariant Test SuiteFormal Verification · Slither
• Design a Foundry Invariant Test Suite for Evaluation Redesign Hotfix ResponseFormal Verification · ChatGPT

All Formal Verification agents · All Blockchain & Web3 agents