Nethermind Security: AI-assisted security audits for cryptography and ZK
========================================================================

Nethermind 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: AuditAgent
Evidence: https://www.nethermind.io/blog/how-nethermind-security-uses-auditagent-alongside-manual-audits

Source page: https://agentsast.com/firms/nethermind-security/
Compiled by: agentsast editors (https://agentsast.com/about/)
Last reviewed: 2026-09-13