Securing the agentic era: formal verification for CEL Common Expression Language | Dark Hacker News