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 20d ago A 36 tokens
original MIT
306Stars on the repository
109Mods indexed here, across every type
20d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Agent Claude Code
Zero-state return, dust analysis, boundary conditions with real constants.
not rated 306
+3 20d ago A 16 tokens
original MIT
Agent Claude Code
External call side effects, cross-chain timing windows, MEV analysis.
not rated 306
+3 20d ago A 17 tokens
original MIT
Agent Claude Code
L1 mode - deep analysis of p2p / RPC / mempool attack surfaces, DoS vectors, pre-auth panic paths, peer scoring, eclipse attacks.
not rated 306
+3 20d ago A 37 tokens
original MIT
Agent Claude Code
Cross-function state mutation tracing, constraint enforcement verification.
not rated 306
+3 20d ago A 14 tokens
original MIT
Agent Claude Code
Deep analysis of token entry/exit paths, donation attacks, type separation.
not rated 306
+3 20d ago A 18 tokens
original MIT
Agent Claude Code
Synthesizes findings from multiple research agents into prioritized hypotheses.
not rated 306
+3 20d ago A 16 tokens
original MIT
Agent Claude Code
Writes and runs PoC tests to verify hypotheses. Returns CONFIRMED or FALSEPOSITIVE.
not rated 306
+3 20d ago A 23 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: