Maybe it was possible to get a dump of OEIS, but I wasn't aware of it. So I mirrored everything. Let OEIS owner(s) forgive me.
354742 text and JSON files. You can use jq for easier JSON grepping/selecting.
OEIS.7z, 367 MiB. OEIS.tar.xz, 584 MiB.
Yes, I know about these lousy Disqus ads. Please use adblocker. I would consider to subscribe to 'pro' version of Disqus if the signal/noise ratio in comments would be good enough.