Find hidden flaws in Solidity smart contracts.
What it does
Guides audits of Solidity smart contracts to identify security vulnerabilities.
When to use it
Use when auditing Solidity/EVM contracts for reentrancy, arithmetic errors, access control flaws, delegatecall risks, flash loans, signature replay, and MEV attacks.
How to use it
It changes how the agent audits smart contracts by directing checks for proxy storage collisions and reentrancy risks.
What you provide
- An existing project
What you need · 4
Requires Slither for the decision tree's concluding static analysis step; the tools table invokes it with slither .
Requires Mythril for the decision tree's concluding symbolic execution step; the tools table invokes it with myth analyze contract.sol.
Requires Echidna to fuzz invariants in the decision tree's concluding automated analysis step.
Routes audits involving DeFi protocols to this skill for flash loan vectors, oracle manipulation, and MEV exposure; whether it is required to complete the workflow is unstated.
Access · 0
No additional actions listed.