Pygments is a very popular syntax-coloring system used in a lot of places, including Discord and our wiki. It has support for hundreds of languages... but not yet including MiniScript.
But just now I submitted a pull request to add MiniScript support.
🤞 Let's keep an eye on it and hope for quick integration!
