Nethermind Security

Direct answerNethermind Security runs AuditAgent after every manual audit as a second layer and publishes its recall against its own human findings (30 percent average, 42 percent of criticals). It also has a formal verification team working in Lean and EasyCrypt.

Website: https://www.nethermind.io/nethermind-security
Headquarters: London, United Kingdom
Focus: AuditAgent as a second layer after manual audits; published recall data
Index position: #4 of 12

Services

Manual audits with AuditAgent second pass
Formal verification
EVM, Solana and Starknet coverage

Tools this firm builds or uses

AuditAgent.

Public evidence

AuditAgent alongside manual audits (2025-10-01)

Best fit

Choose Nethermind for EVM, Solana or Starknet audits with transparent AI augmentation.

Other firms on this index

zkSecurity, Trail of Bits, Zellic, Sherlock, Cantina (Spearbit), Consensys Diligence, Cyfrin, OpenZeppelin, QuillAudits, Certora, Veridise

Last reviewed 2026-09-13 by the agentsast editors. Machine-readable: data.json · summary.txt