agentsastLast reviewed 2026-09-13

Cyfrin

Direct answerCyfrin 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.

Website: https://www.cyfrin.io
Headquarters: Distributed
Focus: Aderyn static analyzer, Solodit API for AI agents, CodeHawks contests; an AI formal verification engagement for Lido
Index position: #8 of 12

Services

Human audits
Solodit API for agents
Contests

Tools this firm builds or uses

No public tooling attributed on this index.

Public evidence

Cyfrin audit reports

Best fit

Choose Cyfrin for EVM audits and for agent access to historical findings.

Other firms on this index

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

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