scope

Automated tool sweep — entry-point analysis, static analysis dispatch, invariant identification triggers, and tool recommendations.

Standalone Forge PoC test generation for suspected vulnerabilities.

Identify protocol invariants from code and adversarially find paths to break them. General-purpose — works on any codebase.

Slither and Aderyn static analysis agents with intelligent false-positive filtering and cross-tool deduplication.

MCP server for searching Solodit's audit finding database with granular filters.

Generate Forge invariant tests from identified invariants. Writes runnable Solidity test contracts that attempt to break each invariant.

Adversarial peer review of audit reports via inline annotations. Debates disagreements, re-evaluates severity, builds calibration log.

Modular Claude Code plugin marketplace for smart contract security auditing

EVM/Solidity deep security review — adversarial bug validation, 5 fundamental vulnerability detection skills, gas optimization, and variant analysis.

First-pass code review — architecture mapping, bug brainstorming, function micro-analysis, and deep context building.