A language server for AI agents to send diagnostics to - View it on GitHub