@golba98/codexa 1.0.4 → 1.0.6

package/src/core/providerLauncher/registry.ts

@@ -16,14 +16,15 @@ import {
 } from "../providerRuntime/registry.js";
 import { normalizeGeminiModelId } from "../providerRuntime/models.js";
 import { ANTIGRAVITY_DEFAULT_MODEL_ID } from "../providerRuntime/antigravity.js";
+import { discoverMistralVibeModels } from "../providerRuntime/mistralVibe.js";
 import { setLocalProviderConfig } from "../providerRuntime/local.js";
 import { formatContextLength, resolveModelContextLengthCached } from "../providerRuntime/contextMetadata.js";
 import { resolveModelCapabilityProfileCached } from "../providerRuntime/capabilityProfile.js";
 
 // Google/Gemini remains a recognized legacy config value so existing workspace
 // files can be migrated, but it is no longer a selectable Codexa provider.
-const PROVIDER_ORDER: readonly ProviderId[] = ["openai", "anthropic", "local", "antigravity"];
-const KNOWN_PROVIDER_IDS: readonly ProviderId[] = ["openai", "anthropic", "google", "local", "antigravity"];
+const PROVIDER_ORDER: readonly ProviderId[] = ["openai", "anthropic", "mistral", "local", "antigravity"];
+const KNOWN_PROVIDER_IDS: readonly ProviderId[] = ["openai", "anthropic", "google", "mistral", "local", "antigravity"];
 
 const DEFAULT_PROVIDER_ID: ProviderId = "openai";
 
@@ -78,6 +79,17 @@ const DEFAULT_PROVIDERS: Record<ProviderId, ProviderDefault> = {
     isActiveRoute: false,
     routeUnavailableReason: "Local provider unavailable. Start LM Studio, load a model, and enable the local server.",
   },
+  mistral: {
+    id: "mistral",
+    displayName: "Mistral Vibe CLI",
+    currentModel: () => "Vibe default",
+    backendType: "mistral-vibe-cli-auth",
+    routeMode: "in-codexa",
+    enabled: true,
+    launchCommand: { executable: "vibe", args: [] },
+    isActiveRoute: false,
+    routeUnavailableReason: null,
+  },
   antigravity: {
     id: "antigravity",
     displayName: "Antigravity",
@@ -137,9 +149,11 @@ function applyOverride(
       : provider.currentModel,
     enabled: nextEnabled,
     launchCommand: nextCommand,
-    statusLabel: nextEnabled
-      ? (provider.routeUnavailableReason ? "Needs config" : "Enabled")
-      : "Disabled",
+    statusLabel: !nextEnabled
+      ? "Disabled"
+      : provider.routeMode === "launch-only"
+        ? provider.statusLabel
+        : (provider.routeUnavailableReason ? "Needs config" : "Enabled"),
   };
 }
 
@@ -157,6 +171,7 @@ export function getActiveRouteProviderId(config: ProviderWorkspaceConfig | null
 
 export function buildProviderRegistry(options: {
   activeModel: string;
+  workspaceRoot?: string;
   workspaceConfig?: ProviderWorkspaceConfig | null;
   diagnostics?: Record<string, Record<string, string | number | boolean | null>>;
   routeErrors?: Record<string, string>;
@@ -170,7 +185,9 @@ export function buildProviderRegistry(options: {
     }
     const defaults = DEFAULT_PROVIDERS[id];
     const runtime = getProviderRuntime(id);
-    const discovery = runtime.discoverModels();
+    const discovery = id === "mistral"
+      ? discoverMistralVibeModels(options.workspaceRoot ?? process.cwd())
+      : runtime.discoverModels();
 
     const activeRoute = options.workspaceConfig?.activeRoute;
     const isThisActive = activeRoute?.providerId === id;
@@ -205,6 +222,10 @@ export function buildProviderRegistry(options: {
       }
     }
 
+    if (id === "mistral") {
+      currentModelLabel = discovery.models[0]?.modelId ?? "Vibe default";
+    }
+
     const rawMetadataForModel = discovery.models.find((model) => model.modelId === currentModelLabel)?.raw;
     const contextMetadata = resolveModelContextLengthCached({
       providerId: id,
@@ -230,7 +251,16 @@ export function buildProviderRegistry(options: {
 
     const enabled = id === "local" ? discovery.status === "ready" : defaults.enabled;
 
-    const statusLabel = id === "local"
+    const availabilityStatus = options.diagnostics?.[id]?.availabilityStatus;
+    const statusLabel = id === "mistral"
+      ? availabilityStatus === "checking"
+        ? "Checking"
+        : availabilityStatus === "unavailable"
+          ? "Missing"
+          : routeUnavailableReason
+            ? "Needs config"
+            : "Enabled"
+      : id === "local"
       ? (discovery.status === "ready" ? "Enabled" : "Disabled")
       : !defaults.enabled
         ? "Disabled"

package/src/core/providerLauncher/types.ts

@@ -1,9 +1,10 @@
-export type ProviderId = "openai" | "anthropic" | "google" | "local" | "antigravity";
+export type ProviderId = "openai" | "anthropic" | "google" | "mistral" | "local" | "antigravity";
 
 export type ProviderBackendType =
   | "codex-cli-auth"
   | "gemini-cli-auth"
   | "claude-code-auth"
+  | "mistral-vibe-cli-auth"
   | "antigravity-cli-auth"
   | "openai-api-key"
   | "gemini-api-key"

package/src/core/providerRuntime/anthropic.ts

@@ -4,7 +4,6 @@ import type { BackendRunHandlers } from "../providers/types.js";
 import { ANTHROPIC_FALLBACK_MODELS } from "./models.js";
 import type { ProviderBackendKind, ProviderChatRequest, ProviderModel, ProviderModelDiscoveryResult, ProviderRouteValidationResult, ProviderRuntime } from "./types.js";
 import { buildClaudeSpawnSpec, resetClaudeExecutableCacheForTests } from "../executables/claudeExecutable.js";
-import { CLAUDE_CODE_EFFORT_IDS } from "./reasoning.js";
 import {
   claudeCodeModelsToProviderModels,
   discoverClaudeCodeCapabilities,
@@ -56,10 +55,9 @@ export function mapModelIdToClaudeArg(modelId: string): string {
   return modelId;
 }
 
-export function mapReasoningToEffort(reasoning: string | null | undefined): string | null {
-  if (reasoning && CLAUDE_CODE_EFFORT_IDS.has(reasoning)) return reasoning;
-  return null;
-}
+export function mapReasoningToEffort(reasoning: string | null | undefined): string | null {
+  return reasoning?.trim() || null;
+}
 
 function buildClaudeCodeBaseArgs(request: ProviderChatRequest): string[] {
   const effort = mapReasoningToEffort(request.route.reasoning ?? null);

package/src/core/providerRuntime/antigravity.ts

@@ -1,6 +1,7 @@
 import { runCommand } from "../process/CommandRunner.js";
 import { sanitizeTerminalOutput } from "../terminal/terminalSanitize.js";
 import type { ReasoningEffortCapability } from "../models/codexModelCapabilities.js";
+import { loadCachedProviderModels } from "../models/providerModelCache.js";
 import type { BackendRunHandlers } from "../providers/types.js";
 import type {
   ProviderBackendKind,
@@ -27,97 +28,155 @@ export const ANTIGRAVITY_DEFAULT_MODEL_ID = "gemini-3.5-flash";
 export const ANTIGRAVITY_DEFAULT_REASONING = "high";
 
 // ---------------------------------------------------------------------------
-// Effort levels for Antigravity Gemini models
+// Model definitions
 // ---------------------------------------------------------------------------
 
-const AGY_LOW:    ReasoningEffortCapability = { id: "low",    label: "Low",    description: null };
-const AGY_MEDIUM: ReasoningEffortCapability = { id: "medium", label: "Medium", description: null };
-const AGY_HIGH:   ReasoningEffortCapability = { id: "high",   label: "High",   description: null };
+interface AgySelectorMetadata {
+  provider: "antigravity";
+  selectors: Record<string, string>;
+}
 
-// ---------------------------------------------------------------------------
-// Model definitions
-// ---------------------------------------------------------------------------
+function normalizeAgyId(value: string): string {
+  return value
+    .trim()
+    .toLowerCase()
+    .replace(/[^a-z0-9.]+/g, "-")
+    .replace(/^-+|-+$/g, "");
+}
 
-export const ANTIGRAVITY_MODELS: readonly ProviderModel[] = [
-  {
-    id: "gemini-3.5-flash",
-    modelId: "gemini-3.5-flash",
-    label: "Gemini 3.5 Flash",
-    description: "Antigravity-routed Gemini 3.5 Flash. Select effort with ←/→.",
-    defaultReasoningLevel: "high",
-    supportedReasoningLevels: [AGY_LOW, AGY_MEDIUM, AGY_HIGH],
-    source: "fallback",
-  },
-  {
-    id: "gemini-3.1-pro",
-    modelId: "gemini-3.1-pro",
-    label: "Gemini 3.1 Pro",
-    description: "Antigravity-routed Gemini 3.1 Pro. Select effort with ←/→.",
-    defaultReasoningLevel: "high",
-    supportedReasoningLevels: [AGY_LOW, AGY_HIGH],
-    source: "fallback",
-  },
-  {
-    id: "claude-sonnet-4-6-think",
-    modelId: "claude-sonnet-4-6-think",
-    label: "Claude Sonnet 4.6 (Thinking)",
-    description: "Antigravity-routed Claude Sonnet 4.6 with extended thinking.",
-    defaultReasoningLevel: null,
-    supportedReasoningLevels: null,
-    source: "fallback",
-  },
-  {
-    id: "claude-opus-4-6-think",
-    modelId: "claude-opus-4-6-think",
-    label: "Claude Opus 4.6 (Thinking)",
-    description: "Antigravity-routed Claude Opus 4.6 with extended thinking.",
-    defaultReasoningLevel: null,
-    supportedReasoningLevels: null,
-    source: "fallback",
-  },
-  {
-    id: "gpt-oss-120b",
-    modelId: "gpt-oss-120b",
-    label: "GPT-OSS 120B",
-    description: "Antigravity-routed GPT-OSS 120B.",
-    defaultReasoningLevel: null,
-    supportedReasoningLevels: null,
-    source: "fallback",
-  },
-];
+function formatAgyVariantLabel(value: string): string {
+  return value
+    .split(/[-_\s]+/)
+    .filter(Boolean)
+    .map((part) => `${part.slice(0, 1).toUpperCase()}${part.slice(1).toLowerCase()}`)
+    .join(" ") || value;
+}
 
-// ---------------------------------------------------------------------------
-// AGY_MODEL env mapping
-// ---------------------------------------------------------------------------
+function readAgySelectorMetadata(model: ProviderModel): AgySelectorMetadata | null {
+  if (!model.raw || typeof model.raw !== "object" || Array.isArray(model.raw)) return null;
+  const raw = model.raw as Partial<AgySelectorMetadata>;
+  if (raw.provider !== "antigravity" || !raw.selectors || typeof raw.selectors !== "object") return null;
+  return { provider: "antigravity", selectors: raw.selectors };
+}
 
-/**
- * Maps Codexa model IDs to the AGY_MODEL env value passed to the agy subprocess.
- *
- * Verified:
- *   gemini-3.5-flash → "gemini-3.5-flash"  (confirmed via: AGY_MODEL=gemini-3.5-flash agy -p "say hello back")
- *
- * Unverified (same pattern, not independently smoke-tested):
- *   gemini-3.1-pro → "gemini-3.1-pro"
- */
-const AGY_MODEL_ENV_MAP: Readonly<Record<string, string>> = {
-  "gemini-3.5-flash": "gemini-3.5-flash",
-  "gemini-3.1-pro":   "gemini-3.1-pro",
-};
+function preferredAgyDefault(modelId: string, efforts: readonly string[]): string {
+  if ((modelId === "gemini-3.5-flash" || modelId === "gemini-3.1-pro") && efforts.includes(ANTIGRAVITY_DEFAULT_REASONING)) {
+    return ANTIGRAVITY_DEFAULT_REASONING;
+  }
+  return efforts[0] ?? ANTIGRAVITY_DEFAULT_REASONING;
+}
+
+const AGY_REASONING_DISPLAY_ORDER = ["low", "medium", "high", "xhigh", "max"] as const;
+
+function sortAgyReasoningLevels(levels: readonly ReasoningEffortCapability[]): ReasoningEffortCapability[] {
+  const rank = new Map<string, number>(AGY_REASONING_DISPLAY_ORDER.map((id, index) => [id, index]));
+  return levels
+    .map((level, index) => ({ level, index }))
+    .sort((left, right) => (rank.get(left.level.id) ?? AGY_REASONING_DISPLAY_ORDER.length + left.index)
+      - (rank.get(right.level.id) ?? AGY_REASONING_DISPLAY_ORDER.length + right.index))
+    .map(({ level }) => level);
+}
 
-export function getAgyModelEnvValue(modelId: string): string | null {
-  return AGY_MODEL_ENV_MAP[modelId] ?? null;
+export function parseAgyModelsOutput(stdout: string): ProviderModel[] {
+  const lines = stdout.split(/\r?\n/).map((line) => line.trim()).filter(Boolean);
+  const parsed = lines.map((selector) => {
+    const match = selector.match(/^(.*?)\s+\(([^()]+)\)$/);
+    return { selector, base: match?.[1]?.trim() ?? selector, variant: match?.[2]?.trim() ?? null };
+  });
+  const baseCounts = new Map<string, number>();
+  for (const item of parsed) baseCounts.set(item.base, (baseCounts.get(item.base) ?? 0) + 1);
+
+  const models: ProviderModel[] = [];
+  const grouped = new Map<string, ProviderModel>();
+  for (const item of parsed) {
+    const isVariantGroup = item.variant !== null && (baseCounts.get(item.base) ?? 0) > 1;
+    if (!isVariantGroup) {
+      const modelId = normalizeAgyId(item.selector);
+      models.push({
+        id: modelId,
+        modelId,
+        label: item.selector,
+        description: `Discovered from agy models: ${item.selector}`,
+        defaultReasoningLevel: null,
+        supportedReasoningLevels: null,
+        source: "discovered",
+        raw: { provider: "antigravity", selectors: { "": item.selector } } satisfies AgySelectorMetadata,
+      });
+      continue;
+    }
+
+    const modelId = normalizeAgyId(item.base);
+    const effortId = normalizeAgyId(item.variant ?? "");
+    const existing = grouped.get(item.base);
+    if (existing) {
+      const metadata = readAgySelectorMetadata(existing);
+      const levels = sortAgyReasoningLevels([...(existing.supportedReasoningLevels ?? []), {
+        id: effortId,
+        label: formatAgyVariantLabel(item.variant ?? effortId),
+        description: null,
+      }]);
+      const selectors = { ...(metadata?.selectors ?? {}), [effortId]: item.selector };
+      const updated = {
+        ...existing,
+        defaultReasoningLevel: preferredAgyDefault(modelId, levels.map((level) => level.id)),
+        supportedReasoningLevels: levels,
+        raw: { provider: "antigravity", selectors } satisfies AgySelectorMetadata,
+      };
+      grouped.set(item.base, updated);
+      models[models.indexOf(existing)] = updated;
+      continue;
+    }
+
+    const level: ReasoningEffortCapability = {
+      id: effortId,
+      label: formatAgyVariantLabel(item.variant ?? effortId),
+      description: null,
+    };
+    const model: ProviderModel = {
+      id: modelId,
+      modelId,
+      label: item.base,
+      description: `Discovered from agy models. Select an advertised variant with ←/→.`,
+      defaultReasoningLevel: preferredAgyDefault(modelId, [effortId]),
+      supportedReasoningLevels: [level],
+      source: "discovered",
+      raw: { provider: "antigravity", selectors: { [effortId]: item.selector } } satisfies AgySelectorMetadata,
+    };
+    grouped.set(item.base, model);
+    models.push(model);
+  }
+  return models;
 }
 
-export function buildAgyEnv(modelId: string, _reasoning?: string): NodeJS.ProcessEnv {
-  // _reasoning is stored in route state and surfaced in the footer UI, but agy
-  // has no verified CLI flag or env var for passing effort level to the subprocess.
-  // TODO: wire _reasoning here once Antigravity exposes a stable mechanism.
-  const envValue = getAgyModelEnvValue(modelId);
-  return envValue ? { ...process.env, AGY_MODEL: envValue } : { ...process.env };
+// Resolve persisted model/reasoning state to the exact selector advertised by `agy models`.
+export function getAgyModelSelector(
+  modelId: string,
+  reasoning: string | null | undefined,
+  models: readonly ProviderModel[] = getActiveAgyModels(),
+): string | null {
+  const model = models.find((item) => item.modelId === modelId || item.id === modelId);
+  if (!model) return null;
+  const metadata = readAgySelectorMetadata(model);
+  if (!metadata) return null;
+  if (!model.supportedReasoningLevels?.length) return metadata.selectors[""] ?? null;
+  if (reasoning) return metadata.selectors[reasoning] ?? null;
+  const effort = model.defaultReasoningLevel;
+  return effort ? metadata.selectors[effort] ?? null : null;
 }
 
 export function getAntigravityModelLabel(modelId: string): string {
-  return ANTIGRAVITY_MODELS.find((m) => m.id === modelId)?.label ?? modelId;
+  const discovered = getActiveAgyModels().find((m) => m.id === modelId || m.modelId === modelId);
+  if (discovered) return discovered.label;
+
+  const normalizedId = migrateAntigravityLegacyModelId(modelId).modelId;
+  const knownLabels: Record<string, string> = {
+    "gemini-3.5-flash": "Gemini 3.5 Flash",
+    "gemini-3.1-pro": "Gemini 3.1 Pro",
+    "claude-sonnet-4.6-thinking": "Claude Sonnet 4.6 (Thinking)",
+    "claude-opus-4.6-thinking": "Claude Opus 4.6 (Thinking)",
+    "gpt-oss-120b-medium": "GPT-OSS 120B",
+  };
+  return knownLabels[normalizedId] ?? modelId;
 }
 
 // ---------------------------------------------------------------------------
@@ -138,7 +197,9 @@ export function migrateAntigravityLegacyModelId(modelId: string): { modelId: str
     "gemini-3.5-flash-low":    { modelId: "gemini-3.5-flash", reasoning: "low" },
     "gemini-3.1-pro-high":     { modelId: "gemini-3.1-pro",   reasoning: "high" },
     "gemini-3.1-pro-low":      { modelId: "gemini-3.1-pro",   reasoning: "low" },
-    "gpt-oss-120b-medium":     { modelId: "gpt-oss-120b" },
+    "claude-sonnet-4-6-think": { modelId: "claude-sonnet-4.6-thinking" },
+    "claude-opus-4-6-think":   { modelId: "claude-opus-4.6-thinking" },
+    "gpt-oss-120b":            { modelId: "gpt-oss-120b-medium" },
   };
   return legacy[modelId] ?? { modelId };
 }
@@ -149,6 +210,52 @@ export function migrateAntigravityLegacyModelId(modelId: string): { modelId: str
 
 let agyRouteValidated = false;
 let resolvedAgyExecutable: string = "agy";
+let discoveredAgyModels: readonly ProviderModel[] | null = null;
+
+function getActiveAgyModels(): readonly ProviderModel[] {
+  if (discoveredAgyModels?.length) return discoveredAgyModels;
+  return loadCachedProviderModels("antigravity")?.models ?? [];
+}
+
+export async function discoverAgyModels(options: {
+  executable: string;
+  cwd: string;
+  runCommandImpl: typeof runCommand;
+  platform: NodeJS.Platform;
+}): Promise<ProviderModelDiscoveryResult> {
+  const spawnSpec = buildSpawnSpec(options.executable, ["models"], options.platform);
+  const result = await options.runCommandImpl({
+    executable: spawnSpec.executable,
+    args: spawnSpec.args,
+    cwd: options.cwd,
+    timeoutMs: ANTIGRAVITY_VALIDATION_TIMEOUT_MS,
+  }).result;
+  const models = result.status === "completed" && result.exitCode === 0
+    ? parseAgyModelsOutput(result.stdout)
+    : [];
+  if (models.length > 0) {
+    discoveredAgyModels = models;
+    return {
+      status: "ready",
+      providerId: "antigravity",
+      backendKind: "antigravity-cli-auth",
+      models,
+      message: `Loaded ${models.length} models from agy models.`,
+      diagnostics: { modelSource: "agy-models-command", modelsExitCode: result.exitCode, modelsStatus: result.status },
+    };
+  }
+  const cached = loadCachedProviderModels("antigravity")?.models ?? [];
+  return {
+    status: cached.length > 0 ? "ready" : "not-configured",
+    providerId: "antigravity",
+    backendKind: cached.length > 0 ? "antigravity-cli-auth" : "unavailable",
+    models: cached,
+    message: cached.length > 0
+      ? "Live agy model metadata is unavailable; using the last successful discovery."
+      : "Antigravity model metadata is unavailable. Run Refresh models after checking `agy models`.",
+    diagnostics: { modelSource: cached.length > 0 ? "cache" : "unavailable", modelsExitCode: result.exitCode, modelsStatus: result.status },
+  };
+}
 
 export function isAntigravityRouteConfigured(): boolean {
   return agyRouteValidated;
@@ -157,6 +264,7 @@ export function isAntigravityRouteConfigured(): boolean {
 export function resetAntigravityRouteValidationCacheForTests(): void {
   agyRouteValidated = false;
   resolvedAgyExecutable = "agy";
+  discoveredAgyModels = null;
   resetAgyExecutableCacheForTests();
 }
 
@@ -170,6 +278,24 @@ export async function validateAntigravityRoute(options: {
   runCommandImpl?: typeof runCommand;
   platform?: NodeJS.Platform;
 }): Promise<ProviderRouteValidationResult> {
+  // Already validated this session: skip the executable probe and model
+  // re-discovery so re-activating antigravity is instant. "Refresh models"
+  // bypasses this via runtime.refreshModels, so a stale catalog stays
+  // user-recoverable.
+  if (agyRouteValidated && discoveredAgyModels?.length) {
+    return {
+      status: "ready",
+      providerId: "antigravity",
+      backendKind: "antigravity-cli-auth",
+      message: `Antigravity CLI found at: ${resolvedAgyExecutable}`,
+      diagnostics: {
+        resolvedCommand: resolvedAgyExecutable,
+        modelSource: "session-cache",
+        discoveredModelCount: discoveredAgyModels.length,
+      },
+    };
+  }
+
   let resolved: string;
   try {
     resolved = await resolveAgyExecutable({
@@ -213,13 +339,23 @@ export async function validateAntigravityRoute(options: {
 
   resolvedAgyExecutable = resolved;
   agyRouteValidated = true;
+  const modelDiscovery = await discoverAgyModels({
+    executable: resolved,
+    cwd: options.cwd ?? process.cwd(),
+    runCommandImpl,
+    platform: options.platform ?? process.platform,
+  });
 
   return {
     status: "ready",
     providerId: "antigravity",
     backendKind: "antigravity-cli-auth",
     message: `Antigravity CLI found at: ${resolved}`,
-    diagnostics: { resolvedCommand: resolved },
+    diagnostics: {
+      resolvedCommand: resolved,
+      modelSource: modelDiscovery.diagnostics?.modelSource ?? "unavailable",
+      discoveredModelCount: modelDiscovery.models.length,
+    },
   };
 }
 
@@ -233,16 +369,23 @@ export function runAntigravityWithRunner(
   runCommandImpl: typeof runCommand = runCommand,
   executable: string = resolvedAgyExecutable,
   platform: NodeJS.Platform = process.platform,
+  models: readonly ProviderModel[] = getActiveAgyModels(),
 ): () => void {
-  const spawnSpec = buildSpawnSpec(executable, ["-p", request.prompt], platform);
-  const env = buildAgyEnv(request.route.modelId, request.route.reasoning);
+  const selector = getAgyModelSelector(request.route.modelId, request.route.reasoning, models);
+  if (!selector) {
+    handlers.onError(
+      `Antigravity has no verified selector for ${request.route.modelId}${request.route.reasoning ? ` / ${request.route.reasoning}` : ""}. Refresh models and try again.`,
+    );
+    return () => undefined;
+  }
+  const spawnSpec = buildSpawnSpec(executable, ["--model", selector, "-p", request.prompt], platform);
 
   const runner = runCommandImpl(
     {
       executable: spawnSpec.executable,
       args: spawnSpec.args,
       cwd: request.workspaceRoot,
-      env,
+      env: { ...process.env },
       timeoutMs: ANTIGRAVITY_TIMEOUT_MS,
     },
   );
@@ -288,12 +431,36 @@ export const antigravityRuntime: ProviderRuntime = {
     cwd: workspaceRoot,
     configuredPath: antigravityCommandPath ?? null,
   }),
-  discoverModels: (): ProviderModelDiscoveryResult => ({
-    status: "ready",
-    providerId: "antigravity",
-    backendKind: "antigravity-cli-auth",
-    models: ANTIGRAVITY_MODELS,
-  }),
+  discoverModels: (): ProviderModelDiscoveryResult => {
+    const models = getActiveAgyModels();
+    return {
+      status: models.length > 0 ? "ready" : "not-configured",
+      providerId: "antigravity",
+      backendKind: models.length > 0 ? "antigravity-cli-auth" : "unavailable",
+      models,
+      ...(models.length === 0 ? { message: "Antigravity model metadata is unavailable. Run Refresh models." } : {}),
+    };
+  },
+  refreshModels: async ({ cwd }): Promise<ProviderModelDiscoveryResult> => {
+    let executable = resolvedAgyExecutable;
+    try {
+      executable = await resolveAgyExecutable({ cwd });
+      resolvedAgyExecutable = executable;
+    } catch {
+      const cached = loadCachedProviderModels("antigravity")?.models ?? [];
+      return {
+        status: cached.length > 0 ? "ready" : "not-configured",
+        providerId: "antigravity",
+        backendKind: cached.length > 0 ? "antigravity-cli-auth" : "unavailable",
+        models: cached,
+        message: cached.length > 0
+          ? "Antigravity CLI is unavailable; using the last successful model discovery."
+          : ANTIGRAVITY_ROUTE_SETUP_MESSAGE,
+        diagnostics: { modelSource: cached.length > 0 ? "cache" : "unavailable", resolvedCommand: null },
+      };
+    }
+    return discoverAgyModels({ executable, cwd, runCommandImpl: runCommand, platform: process.platform });
+  },
   run: (request: ProviderChatRequest, handlers: BackendRunHandlers) => {
     handlers.onProgress?.({
       id: "antigravity-route",