Cisco's small open-weight Antares models find cataloged software bugs roughly 100x cheaper than frontier AI and beat every mainstream static-analysis tool it was tested against — type0 | type0