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
8 tagged aptos, measured the same way as everything else here.
Browse within: ethereum 8security-audit 8smart-contract-audit 8
Agent Claude Code
L1 mode - deep analysis of consensus safety/liveness invariants, non-determinism sources, Byzantine-scenario reasoning, and cross-client state divergence.
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: