Mnehmos/formal-conjectures code health · Repowise