Sync docs to v1.1.26

src/lingo.d.ts

@@ -459,8 +459,6 @@ declare module "@lingo.dev/react" {
     "Open Vibe": { context: "Call to open Vibe" };
     "Open Vibe Work, run a multi-step task end-to-end, and review the result.": { context: "Quickstart description about running a first Vibe Work task" };
     "Open-source code agent for Lean 4 formal proof engineering.": { context: "Short description of an AI model" };
-    "An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.": { context: "Full description of an AI model" };
-    "Updated code agent for Lean 4 formal proof engineering and automated theorem proving.": { context: "Short description of an AI model" };
     "Opt-out": { context: "Keyword tag for the Data Privacy Controls feature" };
     "Organization setup, security, user management, and billing.": { context: "Subtitle for admin documentation" };
     "OTHER": { context: "Changelog entry badge for miscellaneous changes" };

src/schema/models/models/index.ts

@@ -3,7 +3,6 @@ import voxtralTts2603 from './voxtral-tts-26-03';
 import mistralMedium352604 from './mistral-medium-3-5-26-04';
 import mistralSmall402603 from './mistral-small-4-0-26-03';
 import leanstral26032603 from './leanstral-26-03';
-import leanstral152606 from './leanstral-1-5-26-06';
 import mistralLarge32512 from './mistral-large-3-25-12';
 import mistralMedium312508 from './mistral-medium-3-1-25-08';
 import mistralSmall322506 from './mistral-small-3-2-25-06';
@@ -65,7 +64,6 @@ export const MODELS = defineModels([
   mistralMedium352604,
   voxtralTts2603,
   mistralSmall402603,
-  leanstral152606,
   leanstral26032603,
   mistralLarge32512,
   mistralMedium312508,

src/schema/models/models/leanstral-26-03.ts

@@ -12,7 +12,7 @@ export default {
   class: 'Specialist',
   type: 'Labs',
   legalButton: null,
-  status: 'Retired',
+  status: 'Deprecated',
   avatar: { icon: 'leanstral', backgroundColor: 'teal' },
   weights: [
     {
@@ -57,7 +57,7 @@ export default {
     features: ['chat-completions', 'function-calling', 'agents-conversations', 'structured-outputs'],
 
   },
-  metadata: {deprecationDate: '2026-05-22', retirementDate: '2026-06-30', replacement: 'Leanstral 1.5'},
+  metadata: {deprecationDate: '2026-05-22', retirementDate: '2026-06-30'},
   playground: 'https://console.mistral.ai/build/playground',
   legacy: true,
 } as const satisfies StaticModel;

src/schema/models/schema.ts

@@ -197,7 +197,7 @@ export const isMinGpuRam = (value: unknown): value is MinGpuRam => {
 };
 export interface ModelWeight {
   name: string;
-  url: string | null;
+  url: string;
   license?: string;
   licenseUrl: string;
   parameters: string;

version.txt

@@ -1 +1 @@
-v1.1.25
+v1.1.26