Project overview
smart-contract-audit reviews Solidity, Vyper, Solana, and CosmWasm code from an attacker’s perspective. It builds a system model and invariants, runs available analyzers, performs manual function-by-function review, and writes severity-rated findings with concrete exploit paths and remediation. The methodology also examines privileged roles, upgrades, oracles, cross-chain messages, and live deployment state before producing a GO, conditional GO, or NO-GO verdict. Coverage of other virtual machines is general and partial, and a clean report is not a guarantee of safety.
Repository facts
- Primary language
- Rust
- License
- MIT
- Repository updated
- Jun 18, 2026
- Default branch
- main
Resource types
General skill
Use cases
Security and privacy
Platforms
Claude Code, Codex, and more
Capabilities
Tool useVerification and evals