42%

Progress

3/28

Tools Done

20

Findings

3

Critical

4m 12s

ETA

[00:03.2] ✓ Slither — 12 findings (4 critical)

[00:01.8] ✓ Aderyn — 5 findings

[00:08.4] ✓ Medusa — 3 findings (fuzz 10k runs)

[00:45.0] ⟳ Mythril symbolic execution...

[02:00.0] ⟳ Halmos checking formal properties...

[--:--.-] ◌ Echidna queued

[--:--.-] ◌ Gemini 3 queued (cross-contract DAG)

[--:--.-] ◌ Claude LLM queued (semantic refinement)