We combine advanced verification and AI methods to detect and fix over 40 types of security vulnerabilities in C language source code (can be extended to other languages) whilst keeping false positives at a minimum. Additionally, we generate detailed bug reports with locations, types, and suggested fixes, enhancing security and reliability, and enabling continuous learning of software developers. This has earned VeriBee 18 International awards in software testing competitions eg in Test-Comp 2022, 2023, 2024 and 2025.