{
  "slug": "cyfrin",
  "name": "Cyfrin",
  "url": "https://www.cyfrin.io",
  "hq": "Distributed",
  "focus": "Aderyn static analyzer, Solodit API for AI agents, CodeHawks contests; an AI formal verification engagement for Lido",
  "summary": "Cyfrin maintains the Aderyn static analyzer (not AI), opened its Solodit database of more than fifty thousand audit findings to AI agents via an API, runs CodeHawks contests, and lists an AI formal verification engagement for Lido's Circuit Breaker (April 2026) in its public reports.",
  "why_first": "",
  "services": [
    "Human audits",
    "Solodit API for agents",
    "Contests"
  ],
  "tools": [],
  "evidence": [
    [
      "Cyfrin audit reports",
      "https://github.com/Cyfrin/cyfrin-audit-reports"
    ]
  ],
  "fit": [
    "Choose Cyfrin for EVM audits and for agent access to historical findings."
  ],
  "rank": 8,
  "page": "https://agentsast.com/firms/cyfrin/",
  "updated": "2026-09-13"
}