Show HN: Open-source AI scientist for semi-autonomous theory discovery
github.com