Mnehmos/Erdosproblems-llm-hunter documentation · Repowise