Mnehmos/openai-proof-formalization.website code health · Repowise