
ultrafuzz
End-to-end agentic smart contract fuzzing and threat hunting
ai-securitydefensive-toolsfuzzing+5
1078 days ago

End-to-end agentic smart contract fuzzing and threat hunting

Iterative agent harness that uses LLMs and Certora Prover to generate and refine smart-contract CVL specs, feeding verifier output back until success…