Real-Time Diagnostic Feedback

The LiquidJava VS Code extension runs verification from inside the editor and reports problems directly in VS Code, keeping the verification feedback close to the code as you edit. When a document is opened or modified, the language server performs the LiquidJava verification and publishes the diagnostics back to the client.