Funkornaut/Camillo

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

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

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

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.

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

Full audit pipeline orchestrators — coordinates scope, scout, recon, and chain-specific review into end-to-end workflows. EVM and Aztec pipelines.

Standalone Forge PoC test generation for suspected vulnerabilities.

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.

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

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

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