Solidity Audit
ExpertA full smart contract audit pipeline, ordered by what actually finds bugs rather than what is quickest to run.
When to use it
What it does
- 01Environment setup
- 02Compile and size check
- 03Static analysis and lint
- 04Symbolic execution
- 05Foundry test suite
- 06Coverage and mutation testing
- 07Manual review
- 08Economic review
- 09HTML report
What's in the folder
- references/environment.mdToolchain blockers: blocked compiler CDN, dependency conflicts, per-tool solc paths, running long jobs detached
- references/invariant-testing.mdHandler design, ghost variables, and detecting invariants that pass vacuously
- references/manual-review.mdThe manual review checklist
- references/report-structure.mdHow the HTML report is organised
- assets/HostileTokens.solToken mocks reproducing USDT, USDC, PAXG, rebasing, false-returning, zero-decimal and reentrant behaviour
- assets/foundry.tomlFoundry configuration
- assets/report.cssReport styling
- scripts/setup_toolchain.shInstalls the whole toolchain
This is an expert skill. It assumes Foundry, Slither, Mythril and a Solidity toolchain, and it reviews contracts for defects — it does not write exploit code.