security-audit agents

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

Browse within: anchor-lang 8aptos 8audit-skill 8defi-security 8ethereum 8pinnochio 8smart-contract-audit 8claude-code-plugin 6code audit 6

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: