A VS Code extension that turns highlighted code or markdown into a validated
Aggregated Domain Model (ADM) — the source of truth for the Virgo
deterministic compiler.
Foundation LLM: GitHub Copilot (default)
Out of the box the extension uses your signed-in GitHub Copilot session via
VS Code's built-in Language Model API (vscode.lm). No API key, no setup —
auth and consent are handled by VS Code, and the extension never touches a
token.
BYOK fallback (OpenAI / Anthropic) is available for users without Copilot.
Keys are stored in the OS keychain via SecretStorage, never in plaintext.