aztec-audit

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.

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).