vbpf/prevail

**Project Summary:** prevail is an open-source eBPF verifier based on abstract interpretation, allowing developers to add AI capabilities without starting from