Show HN: Ramanujan – Multi-Model Agent for Research in Computational Maths | Dark Hacker News