Is there a parser that will output an Isabelle/Isar AST in JSON format?

Question

Are there any Isabelle/Isar languages parsers available? Specifically one that will parse the syntax and output something useful, ideally in a language-agnostic format such as J