A googol is the large number 10^100
It currently verifies the security of about 250 curated packages across Java and Python
250 is a negligible fraction of 1% of the number of packages across Java and Python posing a security threat in industry.
Oh, but it's important as proof of concept and now just needs to be scaled up?
But if it takes $5 billion for proof of concept, how much will it cost to perpetually verify the security of 250K+ constantly changing packages?