Agent
L1 mode - deep analysis of consensus safety/liveness invariants, non-determinism sources, Byzantine-scenario reasoning, and cross-client state divergence.
279 1mo ago A 36 tokens
original MIT
279Stars on the repository
60Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Agent
Zero-state return, dust analysis, boundary conditions with real constants.
279 1mo ago A 16 tokens
original MIT
Agent
External call side effects, cross-chain timing windows, MEV analysis.
279 1mo ago A 17 tokens
original MIT
Agent
L1 mode - deep analysis of p2p / RPC / mempool attack surfaces, DoS vectors, pre-auth panic paths, peer scoring, eclipse attacks.
279 1mo ago A 37 tokens
original MIT
Agent
Cross-function state mutation tracing, constraint enforcement verification.
279 1mo ago A 14 tokens
original MIT
Agent
Deep analysis of token entry/exit paths, donation attacks, type separation.
279 1mo ago A 18 tokens
original MIT
Agent
Synthesizes findings from multiple research agents into prioritized hypotheses.
279 1mo ago A 16 tokens
original MIT
Agent
Writes and runs PoC tests to verify hypotheses. Returns CONFIRMED or FALSEPOSITIVE.
279 1mo ago A 23 tokens
original MIT