Show HN: Open-source AI scientist for semi-autonomous theory discovery · HackerTrans