Summary
Winfunc builds an AI agent that autonomously finds, verifies, and patches security vulnerabilities in codebases. Founded by Mufeed VH and Vivek R, they solve the problem of false positives from traditional security tools and the inability to detect business logic bugs. Their agent uses context-aware scanning and formal verification to prove exploits, generating reports with zero false positives. They've found vulnerabilities in Google, Supabase, Sentry, Cal, Gumroad, Bun, and other major companies.