Submit an issue View all issues Source
MIR-800

Add ability to export data used by `miren app` as json

Done public
evan evan Opened Mar 13, 2026 Updated Mar 13, 2026

Useful for agents and scripts to access the data without our rendering