opencodex vs happy

Compare opencodex and happy using verifiable public signals, licensing and project quality.