karencarits 6 days ago

Great! Also, checking journal author guidelines is usually very boring and time consuming, so that would be a nice addition! Like, pasting the guidelines in full and getting notified if I am not following some specs

1
rjakob 6 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!