[tabbott]

Yes, via the Zulip API, which is how the Lean Prover tool works. Zulip's "full organization data" export tool is only available to administrators, and we haven't heard any complaints about that model.