There are few more:

https://github.com/visa/visa-vulnerability-agentic-harness

https://github.com/cloudflare/security-audit-skill

I'm on the fence here, for one as from recent Linux mailing discussions those tools can really find good bugs (51% of them?), but on other side - I'm afraid of false sense of security.