pyca/verified-garbage GitHub repository with 7 stars and 2 forks. Language: Lean Open provider repository