x.comthreadPyro (@0x3b33) on X
A roundup of three open-source AI-assisted smart contract security scanners: pashov/skills (solidity-auditor + x-ray pre-audit + fuzz suite generation, fast/cheap feedback), PlamenTSV's autonomous 8-phase agent covering EVM, Solana, and Move that ships PoCs with findings, and Trail of Bits' skills repo with 40+ security skills for contract audits, differential review, and static analysis. Useful pointer to emerging AI-agent-based smart contract auditing tooling.
TL;DR Three open-source AI agent tools for smart contract security auditing: pashov/skills, PlamenTSV's multi-chain autonomous auditor, and Trail of Bits' skills repo.
Technologies named here
- pashov/skills
- PlamenTSV/plam…
- trailofbits/sk…
- Solidity
- Ethereum
- Solana
- Trail of Bits
Techniques named here
- Static Analysis
- Fuzzing
- Proof-of-Concept generation
- Differential review
Related in AppSec
github.comadvisoryFlowise MCP Security Bypass Enables RCE
huntress.comwriteupInside an Oracle Database SQL Injection Attack | Huntress
github.comrepoOASIS
blog.trailofbits.comwriteup