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.

curious what class of erdos problems it solves specifically. is it finding erdos numbers for authors, or actually solving erdos-style mathematical conjectures