Is BGP Safe Yet?
Another RPKI tool: <a href="https://rtrlib.rpki.net/" rel="nofollow">https://rtrlib.rpki.net/</a> allows to fetch RPKI data from a cache server. using the rtrclient, which is part of the package, you can export ROAs to any format.