Auditware/radar

Solidity Static Analyzer that easily integrates into your editor

Static Analyzer for Solidity and Vyper

Solidity/EVM smart contract security auditor — 104 vulnerability patterns, 8 tools, 100% CTF + EVMBench benchmark (120/120)

Solidity smart contract auditor leveraging static analysis, Solodit findings and Map, Hunt, Attack strategy

Structured skills for smart contract security audits. Infers state invariants, detects semantic guard gaps, models flash loan + oracle attack chains, simulates adversarial exploits, and scores findings.

Pashov Audit Group Skills

Gaining the most elusive of tips. Add your input and let's collect them all!

Web3 security skills kit — smart contract auditing, blockchain client analysis, and on-chain exploit investigation.

A Claude Code skill that scans Solidity codebases for security vulnerabilities by referencing 36 unique vulnerability types