Hi there! You can you bring your AI to Dev-Docs. So there is a configuration file with plugins so you can plugin your own Openai Account, Hugging Face, or Chat Sonic within the editor. Will be releasing more info on the extensions readme and on our docs site.
Your tool looks great! Thanks for the suggestion, though for now I am not making any branding or naming changes atm. Also want to be clear I am dev-docs, so maybe it makes sense to change my username here.