Prompteneering. Open the library →

Specify a No-Lost-Funds Property

Safety spec

• Best with Foundry
• 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