Erdős Problem SolverA Go CLI agent that fetches unsolved Erdős problems and uses LLMs to generate formal proof attempts.