codex-chatgpt-web vs kani

Compare codex-chatgpt-web and kani using verifiable public signals, licensing and project quality.