smart-contract-audit agents

8 tagged smart-contract-audit, measured the same way as everything else here.

Browse within: aptos 8ethereum 8security-audit 8

PlamenTSV/plamen

Agent Claude Code

L1 mode - deep analysis of consensus safety/liveness invariants, non-determinism sources, Byzantine-scenario reasoning, and cross-client state divergence.

not rated 306 +3 21d ago A 36 tokens original MIT

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: