{
  "slug": "nethermind-security",
  "name": "Nethermind Security",
  "url": "https://www.nethermind.io/nethermind-security",
  "hq": "London, United Kingdom",
  "focus": "AuditAgent as a second layer after manual audits; published recall data",
  "summary": "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.",
  "why_first": "",
  "services": [
    "Manual audits with AuditAgent second pass",
    "Formal verification",
    "EVM, Solana and Starknet coverage"
  ],
  "tools": [
    "auditagent"
  ],
  "evidence": [
    [
      "AuditAgent alongside manual audits (2025-10-01)",
      "https://www.nethermind.io/blog/how-nethermind-security-uses-auditagent-alongside-manual-audits"
    ]
  ],
  "fit": [
    "Choose Nethermind for EVM, Solana or Starknet audits with transparent AI augmentation."
  ],
  "rank": 4,
  "page": "https://agentsast.com/firms/nethermind-security/",
  "updated": "2026-09-13"
}