Show HN: Open-source AI scientist for semi-autonomous theory discovery | Hacker News Reader