invariant-forge

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.

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.

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.