invariant-forge

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

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

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

Standalone Forge PoC test generation for suspected vulnerabilities.

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

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

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.

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

Protocol-type specialist reviewers (staking, DeFi, access control) and domain-adjacent vulnerability detection skills (oracle/flashloan, state invariants, signature replay, semantic guards).

Aztec/Noir smart contract security — first-pass recon, deep review, and Aztec-specific vulnerability checklist.