Auditing, scanning, and exploit detection · 5 skills
Write and run Solidity-native smart contract tests with Foundry's blazing-fast test runner.
Run static analysis on Solidity contracts with Slither to detect vulnerabilities and code issues.
Monitor, manage, and automate smart contract operations with OpenZeppelin Defender.
Detect smart contract vulnerabilities using Mythril's symbolic execution and SMT solving.
Formally verify smart contract properties using Certora's automated verification engine.