Show HN: Erdös Problem Solver Agent (github.com)

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.