Hacker News new | ask | show | jobs
by rjakob 378 days ago
We are already looking into that: https://github.com/robertjakob/rigorous/tree/main/Agent2_Out...

Would be great to see contributions from the community!