General skillSecurity and privacy

smart-contract-audit-skill

Audit EVM, Solana, and CosmWasm contracts for exploitable security flaws

Stars
0
Forks
1
License
MIT
Updated
Updated Jun 18, 2026

Checking live repository facts…

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

Related projects

Browse more similar projects