Humanbound - Deploy AI agents you can prove are secure
Netherite - AI Code Security Scanner for Any Codebase