autocontext vs leon

Compare autocontext and leon using verifiable public signals, licensing and project quality.