https://github.com/demirbey05/erdos-problem-solver-cli

I developed small cli agent for solving erdös problems. It's still immature but planning to add tools but before going into project I just wanted to measure impact by putting it HN. Open to feedback and suggestions.