How possible is it to create an Isabelle plugin for Neovim/Vim?

[humamalhusaini at tutamail.com]

Hello, hope you all are doing well.

I'd like to create a Neovim plugin that is essentially Coqtail (https://github.com/whonore/coqtail) but for Isabelle. According to a blog post (https://whonore.github.io/src/projects/coqtail.html), Coqtail uses Coq's XML protocol to function, which is well documented here (https://github.com/rocq-prover/rocq/blob/master/dev/doc/xml-protocol.md). As far as I know, there isn't much documentation on how to communicate with Isabelle/PIDE, though I believe that the way to do it would be through XML, as I see some use of the XML protocol in the Isabelle code I downloaded. I can't really tell if what I want to do is possible without significant changes to Isabelle itself, so I'm asking for the opinion of somebody who knows what they are doing.

Thank you for reading this, hope you have a great day.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20250603/c4abdf4f/attachment.htm>