formal-ai for VS Code

The extension is not on the Marketplace yet, so it installs manually.

One-line install (macOS/Linux): curl -fsSL https://raw.githubusercontent.com/link-assistant/formal-ai/main/scripts/install.sh | sh -s -- vscode
Download install.sh
Download the .vsix from the latest release, then run code --install-extension formal-ai-vscode-<version>.vsix.
All downloads