invariant-analysis

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

Pre-code intelligence — define audit scope, gather docs/specs from Notion, run spec-to-code compliance, generate hypotheses for invariants, bug areas, and recommended tools.

Standalone Forge PoC test generation for suspected vulnerabilities.

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.