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

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 JSON. I would like to basically have a JSON representation of an Isabelle/Isar .thy file.