Aegis

A background security agent for smart contracts that speaks up only when it finds a real, exploitable bug.