Alternatives to Leanstral
Compare Leanstral alternatives for your business or organization using the curated list below. SourceForge ranks the best alternatives to Leanstral in 2026. Compare features, ratings, user reviews, pricing, and more from Leanstral competitors and alternatives in order to make an informed decision for your business.
-
1
TrustInSoft Analyzer
TrustInSoft
TrustInSoft Analyzer is a C/C++/Rust source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications. Companies who use TrustInSoft Analyzer reduce their verification costs by 4, efforts in bug detection by 40, and obtain an irrefutable proof that their software is safe and secure. -
2
Kimi K3.1 Pro
Moonshot AI
Kimi K3.1 Pro is a multimodal large language model developed by Moonshot AI for advanced reasoning, software development, 3D modeling, financial analysis, and autonomous AI agent workflows. The model uses a mixture-of-experts architecture with approximately 2.8 trillion total parameters and 104 billion active parameters, supporting a context window of one million tokens. Its coding capabilities include debugging existing applications, generating complete software projects, developing interactive websites, and creating applications with game engines. Kimi K3.1 Pro can analyze images, interpret spatial relationships, generate CAD scripts, and create three-dimensional assets from text descriptions or visual references. Its reasoning and tool-use capabilities support financial modeling, investment research, document analysis, and multistep business workflows. The model is available through Kimi's web and mobile applications, Kimi Work, Kimi Code, and the Kimi API, with a Highspeed variant.Starting Price: $2 per 1M tokens -
3
Muse Spark Open
Meta
Muse Spark Open is an open-weight, natively multimodal language model for developers and organizations building AI applications, coding systems, and agentic workflows. The released model has 816 billion total parameters, 42 billion active parameters, and a 1-million-token context window. Teams can download the model weights, run inference through supported engines such as vLLM, SGLang, TensorRT-LLM, Hugging Face Transformers, Apple MLX, llama.cpp, or Unsloth, and customize the model using PyTorch. It supports long-context reasoning, software engineering, coding, tool use, and multimodal inputs. Deployment options include cloud inference through listed API providers or self-hosting on compatible GPU systems; Meta documents a desktop setup using two Apple M5 Ultra Mac Studio computers. The model is released under the Muse Model License with limited commercial terms.Starting Price: $0 -
4
Nemotron 3.5 Bolt
NVIDIA
NVIDIA Nemotron 3.5 Bolt is a family of open artificial intelligence models designed for local AI agents, autonomous task execution, and conversational applications. The family includes Nemotron 3.5 Bolt 74B-A9B, a 74-billion-parameter mixture-of-experts model with approximately 9 billion active parameters, and Nemotron 3.5 Bolt E4B, a compact model optimized for conversational agents. The 74B-A9B variant uses native 2-bit quantization to operate within approximately 24GB of memory on compatible NVIDIA hardware. Its agentic capabilities support web research, software development, code debugging, and multistep task automation without requiring cloud-based inference. The E4B variant targets local voice assistants, interactive characters, and embedded applications with a 4GB memory footprint. Nemotron 3.5 Bolt supports deployment on NVIDIA RTX systems, DGX Spark, and other compatible hardware, giving developers greater control over inference, application data, and local AI workflows.Starting Price: Free -
5
Nemotron 3.5 Super VL
NVIDIA
NVIDIA Nemotron 3.5 Super VL is an open, customizable multimodal AI model designed for complex reasoning, autonomous agents, and enterprise workflows. The model uses a 120-billion-parameter mixture-of-experts architecture that activates approximately 12 billion parameters per token to balance computational efficiency with model capabilities. It combines text, image, document, and video understanding with instruction following, coding, and external tool use. Its multimodal capabilities support document analysis, chart interpretation, optical character recognition, video understanding, and automated information extraction. Developers can customize the model through supervised fine-tuning, low-rank adaptation, and reinforcement learning using NVIDIA NeMo. Nemotron 3.5 Super VL supports deployment in local, cloud, and data center environments for applications such as software engineering, financial document processing, cybersecurity analysis, and enterprise automation.Starting Price: $0 -
6
MiMo-V2.6-Pro
Xiaomi Technology
MiMo-V2.6-Pro is Xiaomi MiMo’s most capable open-source omnimodal AI model, built for coding, general agent workflows, visual tasks, research, and multimodal creation. The model combines strong software engineering capabilities with computer use, 3D spatial reasoning, visual perception, and tool use for complex multi-step work. MiMo-V2.6-Pro can build interactive 3D environments, generate Blender models, create frontend interfaces and presentations, and coordinate agents to refine outputs through visual feedback. It also supports research workflows such as literature review, computational experimentation, materials discovery, and formal mathematical proof development. Xiaomi trained the model with large-scale reinforcement learning across coding, general agents, visual tasks, and cybersecurity environments and has open-sourced the technical report, training environments, and RL code.Starting Price: Free -
7
MiMo-V2.6-Flash
Xiaomi Technology
MiMo-V2.6-Flash is an open-source, natively omnimodal AI model from Xiaomi MiMo designed to balance intelligence, efficiency, and cost. The model supports coding, general agent workflows, visual reasoning, computer use, automation, and multimodal creative tasks. Its capabilities extend beyond software engineering into frontend design, presentation creation, 3D modeling, interactive world generation, video production, and embodied simulation. Xiaomi trained MiMo-V2.6-Flash with large-scale reinforcement learning across coding, general agent, visual, and cybersecurity tasks, completing roughly 750,000 training trajectories. The model is positioned as the more cost-efficient member of the MiMo-V2.6 family while retaining strong performance across software engineering, tool use, automation, and visual coding benchmarks. MiMo-V2.6-Flash is available through MiMo Desktop, AI Studio, MiMo Code, the Xiaomi MiMo API Platform, OpenRouter, and the open-source MiMo-V2.6 release.Starting Price: Free -
8
Qwen3.8-Max
Alibaba
Qwen3.8-Max is Qwen’s most capable model to date, built as a Max-class AI model for coding, work, research, long-horizon tasks, and multimodal agents. It scales to 2.4 trillion parameters with 95 billion active parameters and is available through QwenCloud. The model is designed to complete complex, open-ended tasks end to end with greater reliability and minimal human involvement. Qwen3.8-Max supports autonomous coding workflows, agentic development, research reproduction, visual reasoning, document understanding, video analysis, and real-world productivity tasks. It can integrate with popular agent frameworks and coding assistants, including Claude Code, Codex, Qoder CLI, Qwen Code, and OpenClaw. Built for developers, researchers, enterprises, and AI agent builders, Qwen3.8-Max helps teams automate sophisticated work across code, documents, tools, interfaces, and multimodal content.Starting Price: $2 per 1M (input) -
9
GLM-5.2
Z.ai
GLM-5.2 is an advanced AI foundation model designed to support complex reasoning, coding, and long-range agentic tasks. It helps developers, teams, and organizations build intelligent systems that can understand instructions, solve technical problems, and assist with demanding workflows. The model is especially useful for software engineering, automation, research, and productivity-focused applications. GLM-5.2 is built to handle large amounts of context, making it suitable for projects that require deeper understanding across extended conversations, documents, or codebases. Its mixture-of-experts design helps balance strong performance with more efficient model operation. GLM-5.2 gives businesses and developers a powerful AI tool for creating smarter applications, improving technical workflows, and supporting advanced digital experiences.Starting Price: Free -
10
GPT-5.5
OpenAI
GPT-5.5 is an advanced AI model designed to handle complex, real-world tasks with greater autonomy and efficiency. It quickly understands user intent and can execute multi-step workflows such as coding, research, data analysis, and document creation with minimal guidance. Instead of requiring step-by-step instructions, GPT-5.5 plans tasks, uses tools, evaluates outputs, and continues working until completion. It excels in knowledge work, software development, and analytical problem-solving, helping users move from idea to execution faster. The model is built to operate across tools and environments, making it highly effective for modern digital workflows. With strong reasoning and persistence, GPT-5.5 enables individuals and teams to complete demanding work more efficiently and accurately.Starting Price: $5 per 1M tokens (input) -
11
MiniMax M3
MiniMax
MiniMax M3 is an open-weight multimodal AI model designed for coding, agentic workflows, long-context reasoning, and complex automation tasks. The model combines frontier-level coding performance, native multimodal understanding, and a context window of up to 1 million tokens. MiniMax M3 uses MiniMax Sparse Attention to improve long-context efficiency while reducing compute requirements for large-scale inputs. It supports text, image, and video understanding, making it useful for workflows that combine code, documents, visual references, and tool-driven tasks. The model is built for repository-scale reasoning, software engineering, autonomous task execution, tool calling, and multi-step agent workflows. MiniMax M3 helps developers, AI teams, and enterprises build capable agents that can reason across large contexts and work with multimodal information.Starting Price: $0.30 per million input tokens -
12
Laguna S 2.1
Poolside
Laguna S 2.1 is an open weight agentic coding model designed to pursue longer-horizon work and make effective use of reasoning. It uses a 118-billion-parameter Mixture-of-Experts architecture with 8 billion active parameters per token and supports a context window of up to one million tokens in both thinking and no-thinking modes. Its compact active size makes it suitable for complex work on local machines while remaining competitive with models many times larger on terminal, software-engineering, codebase-question-answering, and tool-use benchmarks. Laguna S 2.1 is built to keep working through difficult tasks with greater persistence, verification, and willingness to backtrack instead of declaring success too early. In demonstrated runs, it built and validated a browser rendering engine from an empty folder, optimized an agent harness for faster execution and substantially lower memory allocation, and completed extended mathematical research using the tools in its environment. -
13
Kimi K2.7 Code
Moonshot AI
Kimi K2.7 Code is an open-source, coding-focused agentic AI model developed by Moonshot AI for long-horizon software engineering tasks. It is designed to improve coding performance, agent workflows, and real-world development assistance compared with earlier Kimi K2 versions. The model supports a 256K context window, making it useful for working with large codebases, long technical documents, and complex multi-step programming tasks. Kimi K2.7 Code is available through Kimi Code and API access, with OpenAI- and Anthropic-compatible options for easier integration into developer workflows. It is also listed on Hugging Face and supports deployment through inference engines such as vLLM, SGLang, and KTransformers. With improved agentic capabilities, long-context support, and reduced thinking-token usage compared with K2.6, Kimi K2.7 Code gives developers a flexible open-source option for AI-assisted coding.Starting Price: Free -
14
GLM-5.3-Flash
Z.ai
GLM-5.3-Flash is Z.ai’s natively multimodal model in the GLM-5 series (previously previewed as Ox Alpha), designed to deliver strong coding, agentic, visual, and knowledge-work performance at relatively low inference cost. It uses 320 billion total parameters with 18 billion active parameters, along with a hybrid architecture that combines sparse and linear attention to reduce the cost of long-context processing. The model supports context lengths of up to one million tokens and was trained on a 30-trillion-token multimodal corpus. GLM-5.3-Flash can reason across text, images, documents, interfaces, dashboards, and other visual information while using that feedback to refine its own outputs. Z.ai reports substantial gains over GLM-5.2 on coding and agentic benchmarks, including DeepSWE and AutomationBench, while approaching higher-cost frontier models on several evaluations.Starting Price: $0.15 per 1M tokens (input) -
15
Inkling
Thinking Machines Lab
Inkling is an open-weights multimodal AI model from Thinking Machines designed as a customizable foundation model for developers, researchers, and enterprises. The model is a Mixture-of-Experts transformer with 975 billion total parameters, 41 billion active parameters, and support for context windows up to 1 million tokens. Inkling was trained from scratch on text, images, audio, and video, giving it native capabilities across reasoning, coding, agentic tool use, vision, audio, factuality, and instruction following. It is built with controllable thinking effort so users can balance performance, latency, and token efficiency for different workloads. The model is available for fine-tuning on Tinker, with playground access, API availability through ecosystem partners, and full weights published on Hugging Face. Built for customization, Inkling gives teams an open-weights base model for building domain-specific AI systems, multimodal agents, coding workflows, research tools, and more.Starting Price: Free -
16
GPT-5.4
OpenAI
GPT-5.4 is an advanced artificial intelligence model developed by OpenAI to support complex professional and technical work. The model combines improvements in reasoning, coding, and agent-based workflows into a single system designed for real-world productivity tasks. GPT-5.4 can generate, analyze, and edit documents, spreadsheets, presentations, and other work outputs with greater accuracy and efficiency. It also features improved tool integration, enabling the model to interact with software environments and external tools to complete multi-step workflows. With enhanced context capabilities supporting up to one million tokens, GPT-5.4 can process and reason over very large amounts of information. The model also improves factual accuracy and reduces errors compared to earlier versions. By combining strong reasoning, coding ability, and tool use, GPT-5.4 helps users complete complex tasks faster and with fewer iterations. -
17
GPT-5.4 mini
OpenAI
GPT-5.4 mini is a fast and efficient AI model designed for high-performance tasks such as coding, reasoning, and multimodal understanding. It delivers strong capabilities similar to larger models while maintaining lower latency and cost. The model is optimized for responsive applications where speed is critical, including coding assistants and real-time workflows. GPT-5.4 mini supports advanced features such as tool use, function calling, and image interpretation. It performs well on complex tasks while running significantly faster than previous mini models. The model is also suitable for subagent systems, where it handles smaller tasks within larger AI workflows. By combining speed, efficiency, and strong performance, GPT-5.4 mini enables scalable AI applications across various use cases. -
18
GPT-5.4 nano
OpenAI
GPT-5.4 nano is a lightweight and highly efficient AI model designed for fast, cost-effective task execution. It is optimized for simple and high-volume tasks such as classification, data extraction, and basic coding support. The model delivers quick responses with minimal latency, making it ideal for real-time and large-scale applications. GPT-5.4 nano improves significantly over previous nano models in both performance and efficiency. It supports essential capabilities like tool use and structured data processing. The model is commonly used as a supporting component within larger AI systems. By focusing on speed and affordability, GPT-5.4 nano enables scalable automation across various workflows. -
19
GPT-5.5 Pro
OpenAI
GPT-5.5 Pro is an advanced AI model designed to handle complex, real-world work with greater autonomy and efficiency. It understands user intent quickly and can execute multi-step tasks such as coding, research, data analysis, and document creation with minimal guidance. The model is built to plan, use tools, and refine its outputs until tasks are complete. It excels in knowledge work, software development, and analytical problem-solving. With strong reasoning and persistence, GPT-5.5 Pro can manage long-running workflows across tools and systems. It delivers high-quality results while maintaining speed and efficiency. Overall, it enables individuals and teams to complete demanding tasks faster and more accurately.Starting Price: $30 per 1M tokens (input) -
20
Claude Haiku 4.5
Anthropic
Anthropic has launched Claude Haiku 4.5, its latest small-language model designed to deliver near-frontier performance at significantly lower cost. The model provides similar coding and reasoning quality as the company’s mid-tier Sonnet 4, yet it runs at roughly one-third of the cost and more than twice the speed. In benchmarks cited by Anthropic, Haiku 4.5 meets or exceeds Sonnet 4’s performance in key tasks such as code generation and multi-step “computer use” workflows. It is optimized for real-time, low-latency scenarios such as chat assistants, customer service agents, and pair-programming support. Haiku 4.5 is made available via the Claude API under the identifier “claude-haiku-4-5” and supports large-scale deployments where cost, responsiveness, and near-frontier intelligence matter. Claude Haiku 4.5 is available now on Claude Code and our apps. Its efficiency means you can accomplish more within your usage limits while maintaining premium model performance.Starting Price: $1 per million input tokens -
21
Claude Opus 4.6
Anthropic
Claude Opus 4.6 is an advanced AI model developed by Anthropic, designed for high-level reasoning, coding, and knowledge work tasks. It introduces significant improvements in coding, debugging, and code review capabilities. The model can handle long, complex workflows and sustain agentic tasks with greater reliability. It features a 1 million token context window in beta, enabling it to process and retain large amounts of information. Claude Opus 4.6 is optimized for tasks such as financial analysis, research, and document creation. It also integrates with tools like Excel and PowerPoint for enhanced productivity. Overall, it is a state-of-the-art AI model built for complex, real-world professional applications. -
22
Claude Sonnet 4.6
Anthropic
Claude Sonnet 4.6 is Anthropic’s most advanced Sonnet model to date, delivering significant upgrades across coding, computer use, long-context reasoning, agent planning, and knowledge work. It introduces a 1 million token context window in beta, allowing users to analyze entire codebases, lengthy contracts, or large research collections in a single session. The model demonstrates major improvements in instruction following, consistency, and reduced hallucinations compared to previous Sonnet versions. In developer testing, users strongly preferred Sonnet 4.6 over Sonnet 4.5 and even favored it over Opus 4.5 in many coding scenarios. Its enhanced computer-use capabilities enable it to interact with real software interfaces similarly to a human, improving automation for legacy systems without APIs. Sonnet 4.6 also performs strongly on major benchmarks, approaching Opus-level intelligence at a more accessible price point. -
23
GLM-5
Z.ai
GLM-5 is Z.ai’s latest large language model built for complex systems engineering and long-horizon agentic tasks. It scales significantly beyond GLM-4.5, increasing total parameters and training data while integrating DeepSeek Sparse Attention to reduce deployment costs without sacrificing long-context capacity. The model combines enhanced pre-training with a new asynchronous reinforcement learning infrastructure called slime, improving training efficiency and post-training refinement. GLM-5 achieves best-in-class performance among open-source models across reasoning, coding, and agent benchmarks, narrowing the gap with leading frontier models. It ranks highly on evaluations such as Vending Bench 2, demonstrating strong long-term planning and operational capabilities. The model is open-sourced under the MIT License.Starting Price: Free -
24
GLM-5.1
Z.ai
GLM-5.1 is the latest iteration of Z.ai’s GLM series, designed as a frontier-level, agent-oriented AI model optimized for coding, reasoning, and long-horizon workflows. It builds on the GLM-5 architecture, which uses a Mixture-of-Experts (MoE) design to deliver high performance while keeping inference costs efficient, and is part of a broader push toward open-weight, developer-accessible models. A core focus of GLM-5.1 is enabling agentic behavior, meaning it can plan, execute, and iterate across multi-step tasks rather than simply responding to single prompts. It is specifically designed to handle complex workflows such as debugging code, navigating repositories, and executing chained operations with sustained context. Compared to earlier models, GLM-5.1 improves reliability in long interactions, maintaining coherence across extended sessions and reducing breakdowns in multi-step reasoning.Starting Price: Free -
25
Leanstral 1.5
Mistral AI
Leanstral 1.5 is an Apache-2.0 licensed model for practical proof engineering in Lean 4, built to make formal verification more powerful and accessible. With 119B total parameters and only 6B active parameters, it delivers a major performance upgrade for theorem proving, agentic proof engineering, and real-world code verification. Leanstral 1.5 was trained through a three-stage process: mid-training, supervised fine-tuning, and reinforcement learning with CISPO. In the multiturn environment, the model receives a theorem statement, submits a proof, gets Lean compiler feedback, and refines its approach until the proof compiles or the budget is exhausted. In the code agent environment, Leanstral works like a developer in a raw filesystem: it edits files, runs bash commands, and uses the Lean language server to inspect goals, errors, and type information in real time.Starting Price: Free -
26
Muse Spark
Meta
Muse Spark is a multimodal AI reasoning model developed by Meta as part of its push toward personal superintelligence. It integrates text, images, and tools to deliver advanced reasoning and interactive capabilities. The model supports features like visual chain-of-thought and multi-agent orchestration. Users can leverage Muse Spark for tasks such as problem-solving, content creation, and real-world troubleshooting. Its Contemplating mode enables multiple AI agents to reason in parallel for improved performance. Muse Spark also demonstrates strong capabilities in areas like health insights and visual understanding. Overall, it represents a significant step toward more intelligent and personalized AI systems. -
27
MiMo-V2-Omni
Xiaomi Technology
MiMo-V2-Omni is an advanced multimodal AI model designed to handle a wide range of real-world tasks across text, code, and other data formats. It is built to support agentic workflows, enabling seamless execution of complex, multi-step processes. The model integrates strong reasoning, tool usage, and contextual understanding to deliver reliable outputs. With its ability to process diverse inputs, it enhances productivity across development, automation, and enterprise use cases. MiMo-V2-Omni focuses on delivering consistent performance in both general and specialized tasks. -
28
MiMo-V2-Pro
Xiaomi Technology
Xiaomi MiMo-V2-Pro is a flagship AI foundation model designed to power real-world agentic workflows and complex task execution. It is built to function as the core intelligence behind agent systems, enabling orchestration of multi-step processes and production-level tasks. The model demonstrates strong capabilities in coding, tool usage, and search-based tasks, performing competitively on global benchmarks. With its large-scale architecture and extended context window, it can handle long and complex interactions efficiently. MiMo-V2-Pro is optimized for practical applications, delivering reliable performance across development, automation, and enterprise workflows.Starting Price: $1/million tokens -
29
MiMo-V2.5
Xiaomi Technology
Xiaomi MiMo-V2.5 is an advanced open-source AI model designed to combine strong agentic capabilities with native multimodal understanding. It can process and reason across text, images, and audio within a single unified system. The model uses a sparse Mixture-of-Experts architecture with hundreds of billions of parameters for efficient performance. It supports an extended context window of up to one million tokens, enabling long and complex workflows. MiMo-V2.5 is built to handle tasks such as coding, reasoning, and multimodal analysis with high accuracy. It incorporates dedicated visual and audio encoders to enhance perception and cross-modal reasoning. The model demonstrates strong benchmark performance across coding, reasoning, and multimodal tasks. By combining multimodality, efficiency, and agentic intelligence, MiMo-V2.5 advances the capabilities of open-source AI systems. -
30
MiMo-V2.5-Pro
Xiaomi Technology
Xiaomi MiMo-V2.5-Pro is an advanced open-source AI model designed to handle complex, long-horizon tasks with strong agentic capabilities. It features a Mixture-of-Experts architecture with over one trillion parameters and a large context window of up to one million tokens. The model is built to perform sophisticated reasoning, coding, and problem-solving across extended workflows. It demonstrates high performance on benchmark tests related to software engineering, reasoning, and general intelligence. MiMo-V2.5-Pro can autonomously complete complex projects, such as building full software systems or optimizing engineering designs. It uses hybrid attention mechanisms to balance efficiency and performance across long contexts. The model is also optimized for token efficiency, reducing computational cost while maintaining strong results. By combining scalability, efficiency, and advanced reasoning, MiMo-V2.5-Pro represents a major step forward in open-source AI models. -
31
Kimi K2.5
Moonshot AI
Kimi K2.5 is a next-generation multimodal AI model designed for advanced reasoning, coding, and visual understanding tasks. It features a native multimodal architecture that supports both text and visual inputs, enabling image and video comprehension alongside natural language processing. Kimi K2.5 delivers open-source state-of-the-art performance in agent workflows, software development, and general intelligence tasks. The model offers ultra-long context support with a 256K token window, making it suitable for large documents and complex conversations. It includes long-thinking capabilities that allow multi-step reasoning and tool invocation for solving challenging problems. Kimi K2.5 is fully compatible with the OpenAI API format, allowing developers to switch seamlessly with minimal changes. With strong performance, flexibility, and developer-focused tooling, Kimi K2.5 is built for production-grade AI applications.Starting Price: Free -
32
Mistral Small 4
Mistral AI
Mistral Small 4 is an advanced open-source AI model developed by Mistral AI that combines reasoning, coding, and multimodal capabilities into a single system. It unifies the strengths of previous models such as Magistral for reasoning, Pixtral for multimodal processing, and Devstral for agentic coding tasks. The model can handle both text and image inputs, allowing it to perform tasks ranging from conversational chat to visual analysis and document understanding. Built with a mixture-of-experts architecture, Mistral Small 4 delivers efficient performance while scaling to complex workloads. It also features a configurable reasoning parameter that allows users to switch between fast responses and deeper analytical outputs. With a large context window and optimized inference performance, the model supports long-form interactions and complex workflows.Starting Price: Free -
33
Mistral Vibe
Mistral AI
Mistral Vibe is an AI-powered agent platform designed to help individuals, developers, and organizations automate complex tasks, conduct research, create content, and execute workflows across connected tools and data sources. The platform combines advanced AI reasoning with access to business applications, internal knowledge, documents, calendars, and communication channels to support long-horizon work. Users can generate reports, prepare meeting briefs, analyze data, draft communications, and automate recurring processes through a unified workspace. Mistral Vibe also includes specialized coding capabilities that enable developers to write, test, review, refactor, and deploy software with full codebase awareness. Its customizable AI models, integrations, and enterprise deployment options allow organizations to tailor the platform to their unique operational requirements. Built for both business productivity and software development, Mistral Vibe helps teams accelerate execution.Starting Price: Free -
34
Qwen3.5
Alibaba
Qwen3.5 is a next-generation open-weight multimodal large language model designed to power native vision-language agents. The flagship release, Qwen3.5-397B-A17B, combines a hybrid linear attention architecture with sparse mixture-of-experts, activating only 17 billion parameters per forward pass out of 397 billion total to maximize efficiency. It delivers strong benchmark performance across reasoning, coding, multilingual understanding, visual reasoning, and agent-based tasks. The model expands language support from 119 to 201 languages and dialects while introducing a 1M-token context window in its hosted version, Qwen3.5-Plus. Built for multimodal tasks, it processes text, images, and video with advanced spatial reasoning and tool integration. Qwen3.5 also incorporates scalable reinforcement learning environments to improve general agent capabilities. Designed for developers and enterprises, it enables efficient, tool-augmented, multimodal AI workflows.Starting Price: Free -
35
Qwen3.6-Plus
Alibaba
Qwen3.6-Plus is an advanced AI model developed by Alibaba Cloud, designed to power real-world intelligent agents and complex workflows. It introduces significant improvements in agentic coding, enabling developers to handle everything from frontend development to large-scale codebase management. The model features a massive 1 million token context window, allowing it to process and reason over long and complex inputs. It integrates reasoning, memory, and execution capabilities to deliver highly accurate and reliable results. Qwen3.6-Plus also enhances multimodal capabilities, enabling it to understand and analyze images, videos, and documents. The platform is optimized for real-world applications, including automation, planning, and tool-based workflows. Overall, it provides a powerful foundation for building next-generation AI agents and intelligent systems. -
36
DeepSeek R1
DeepSeek
DeepSeek-R1 is an advanced open-source reasoning model developed by DeepSeek, designed to rival OpenAI's Model o1. Accessible via web, app, and API, it excels in complex tasks such as mathematics and coding, demonstrating superior performance on benchmarks like the American Invitational Mathematics Examination (AIME) and MATH. DeepSeek-R1 employs a mixture of experts (MoE) architecture with 671 billion total parameters, activating 37 billion parameters per token, enabling efficient and accurate reasoning capabilities. This model is part of DeepSeek's commitment to advancing artificial general intelligence (AGI) through open-source innovation.Starting Price: Free -
37
DeepSeek-V4
DeepSeek
DeepSeek-V4 is a next-generation open-source language model designed for high-performance reasoning, coding, and long-context intelligence. It introduces a powerful architecture with up to one million token context length, enabling seamless handling of large datasets and complex multi-step workflows. The model comes in two variants: DeepSeek-V4-Pro for maximum performance and DeepSeek-V4-Flash for efficiency and speed. DeepSeek-V4-Pro features 1.6 trillion total parameters with 49 billion activated, delivering near state-of-the-art performance comparable to leading closed-source models. It excels in agentic coding, mathematical reasoning, and world knowledge tasks. The model integrates advanced attention mechanisms, including token-wise compression and sparse attention, significantly reducing compute and memory costs. It is also optimized for AI agents, supporting tool use and multi-step workflows.Starting Price: Free -
38
Mistral Large 3
Mistral AI
Mistral Large 3 is a next-generation, open multimodal AI model built with a powerful sparse Mixture-of-Experts architecture featuring 41B active parameters out of 675B total. Designed from scratch on NVIDIA H200 GPUs, it delivers frontier-level reasoning, multilingual performance, and advanced image understanding while remaining fully open-weight under the Apache 2.0 license. The model achieves top-tier results on modern instruction benchmarks, positioning it among the strongest permissively licensed foundation models available today. With native support across vLLM, TensorRT-LLM, and major cloud providers, Mistral Large 3 offers exceptional accessibility and performance efficiency. Its design enables enterprise-grade customization, letting teams fine-tune or adapt the model for domain-specific workflows and proprietary applications. Mistral Large 3 represents a major advancement in open AI, offering frontier intelligence without sacrificing transparency or control.Starting Price: Free -
39
Qwen2
Alibaba
Qwen2 is the large language model series developed by Qwen team, Alibaba Cloud. Qwen2 is a series of large language models developed by the Qwen team at Alibaba Cloud. It includes both base language models and instruction-tuned models, ranging from 0.5 billion to 72 billion parameters, and features both dense models and a Mixture-of-Experts model. The Qwen2 series is designed to surpass most previous open-weight models, including its predecessor Qwen1.5, and to compete with proprietary models across a broad spectrum of benchmarks in language understanding, generation, multilingual capabilities, coding, mathematics, and reasoning.Starting Price: Free -
40
QwQ-Max-Preview
Alibaba
QwQ-Max-Preview is an advanced AI model built on the Qwen2.5-Max architecture, designed to excel in deep reasoning, mathematical problem-solving, coding, and agent-related tasks. This preview version offers a sneak peek at its capabilities, which include improved performance in a wide range of general-domain tasks and the ability to handle complex workflows. QwQ-Max-Preview is slated for an official open-source release under the Apache 2.0 license, offering further advancements and refinements in its full version. It also paves the way for a more accessible AI ecosystem, with the upcoming launch of the Qwen Chat app and smaller variants of the model like QwQ-32B, aimed at developers seeking local deployment options.Starting Price: Free -
41
Kimi K2
Moonshot AI
Kimi K2 is a state-of-the-art open source large language model series built on a mixture-of-experts (MoE) architecture, featuring 1 trillion total parameters and 32 billion activated parameters for task-specific efficiency. Trained with the Muon optimizer on over 15.5 trillion tokens and stabilized by MuonClip’s attention-logit clamping, it delivers exceptional performance in frontier knowledge, reasoning, mathematics, coding, and general agentic workflows. Moonshot AI provides two variants, Kimi-K2-Base for research-level fine-tuning and Kimi-K2-Instruct pre-trained for immediate chat and tool-driven interactions, enabling both custom development and drop-in agentic capabilities. Benchmarks show it outperforms leading open source peers and rivals top proprietary models in coding tasks and complex task breakdowns, while its 128 K-token context length, tool-calling API compatibility, and support for industry-standard inference engines.Starting Price: Free -
42
North Mini Code
Cohere
North Mini Code is Cohere’s first agentic coding model for developers and the inaugural member of its next generation of powerful models. Small, efficient, and open-source, it is built for the sovereign developer ecosystem and designed to deliver strong software development performance without requiring extensive hardware. North Mini Code is a mixture-of-experts model with 30B total parameters and 3B active parameters, giving developers access to agentic coding capabilities in a compact and efficient form. The model is optimized for code generation, agentic software engineering, and terminal tasks, with a 256K total context length and up to 64K maximum generation. It is built for real-world developer workflows, including understanding and orchestrating sub-agents, mapping system architecture, running code reviews, and supporting coding agents that need to reason through complex software tasks. -
43
Mistral Large 4
Mistral AI
Mistral Large 4 is a general-purpose multimodal language model available through Mistral’s hosted inference API. It combines instruction following, reasoning and agentic capabilities, and accepts image and text inputs. Developers can use it for chat completion, structured outputs, function calling, document question answering, tool-assisted workflows and other application features. Its documented use cases include conversational assistants, coding and software engineering agents, cybersecurity analysis, finance and legal workflows, scientific research, data extraction, summarization, and analysis of documents, charts and images. Mistral Large 4 is designed for developers, researchers, businesses and public-sector teams building AI-powered applications across industries such as engineering, manufacturing, finance, logistics and science.Starting Price: $1.36 per 1M input tokens -
44
GLM-4.7
Z.ai
GLM-4.7 is an advanced large language model designed to significantly elevate coding, reasoning, and agentic task performance. It delivers major improvements over GLM-4.6 in multilingual coding, terminal-based tasks, and real-world software engineering benchmarks such as SWE-bench and Terminal Bench. GLM-4.7 supports “thinking before acting,” enabling more stable, accurate, and controllable behavior in complex coding and agent workflows. The model also introduces strong gains in UI and frontend generation, producing cleaner webpages, better layouts, and more polished slides. Enhanced tool-using capabilities allow GLM-4.7 to perform more effectively in web browsing, automation, and agent benchmarks. Its reasoning and mathematical performance has improved substantially, showing strong results on advanced evaluation suites. GLM-4.7 is available via Z.ai, API platforms, coding agents, and local deployment for flexible adoption.Starting Price: Free -
45
Laguna XS.2
Poolside
Laguna XS.2 is Poolside’s open-weight agentic coding model, built as the lightest and fastest model in the Laguna family. It is a 33B total-parameter Mixture of Experts model with 3B activated parameters, trained completely in-house on 30T tokens. As Poolside’s newest generation model open to the community, Laguna XS.2 is a second-generation architecture and the company’s first open-weight model, built on the lessons learned from training Laguna M.1 across synthetic data and reinforcement learning. The model is designed for agentic coding workflows, where it can code, act, iterate quickly, and perform best inside Poolside’s coding agent. Laguna XS.2 is positioned as a strong model for rapid agentic iteration, especially for developers and teams that need a compact, efficient coding model rather than a heavier frontier system. It is released under an Apache 2.0 license, allowing the community to evaluate, fine-tune, quantize, serve, and build on the weights.Starting Price: Free -
46
Devstral
Mistral AI
Devstral is an open source, agentic large language model (LLM) developed by Mistral AI in collaboration with All Hands AI, specifically designed for software engineering tasks. It excels at navigating complex codebases, editing multiple files, and resolving real-world issues, outperforming all open source models on the SWE-Bench Verified benchmark with a score of 46.8%. Devstral is fine-tuned from Mistral-Small-3.1 and features a long context window of up to 128,000 tokens. It is optimized for local deployment on high-end hardware, such as a Mac with 32GB RAM or an Nvidia RTX 4090 GPU, and is compatible with inference frameworks like vLLM, Transformers, and Ollama. Released under the Apache 2.0 license, Devstral is available for free and can be accessed via Hugging Face, Ollama, Kaggle, Unsloth, and LM Studio.Starting Price: $0.1 per million input tokens -
47
Tülu 3
Ai2
Tülu 3 is an advanced instruction-following language model developed by the Allen Institute for AI (Ai2), designed to enhance capabilities in areas such as knowledge, reasoning, mathematics, coding, and safety. Built upon the Llama 3 Base, Tülu 3 employs a comprehensive four-stage post-training process: meticulous prompt curation and synthesis, supervised fine-tuning on a diverse set of prompts and completions, preference tuning using both off- and on-policy data, and a novel reinforcement learning approach to bolster specific skills with verifiable rewards. This open-source model distinguishes itself by providing full transparency, including access to training data, code, and evaluation tools, thereby closing the performance gap between open and proprietary fine-tuning methods. Evaluations indicate that Tülu 3 outperforms other open-weight models of similar size, such as Llama 3.1-Instruct and Qwen2.5-Instruct, across various benchmarks.Starting Price: Free -
48
Recursive Flint
Recursive
Recursive Flint is a 40-billion-parameter mixture-of-experts language model for agentic coding on local hardware. It activates about 2.5 billion parameters per token and supports reasoning, multi-turn tool use, and context windows up to 512,000 tokens. Developers can use Flint with coding agents to inspect codebases, fix bugs, implement features, and write tests while running inference on their own hardware. Its weights are published under the Apache 2.0 license. Flint works with llama.cpp, Ollama, Unsloth, LM Studio, vLLM, and SGLang; Recursive also provides rec, an inference engine optimized for Apple Silicon M4 Pro and M5 Pro/Max. Setup documentation and examples help developers run the model locally. Flint is for developers and technical teams that want to operate and adapt a code-focused model on their own systems. -
49
Codestral
Mistral AI
We introduce Codestral, our first-ever code model. Codestral is an open-weight generative AI model explicitly designed for code generation tasks. It helps developers write and interact with code through a shared instruction and completion API endpoint. As it masters code and English, it can be used to design advanced AI applications for software developers. Codestral is trained on a diverse dataset of 80+ programming languages, including the most popular ones, such as Python, Java, C, C++, JavaScript, and Bash. It also performs well on more specific ones like Swift and Fortran. This broad language base ensures Codestral can assist developers in various coding environments and projects.Starting Price: Free -
50
Qwen3.6-27B
Alibaba
Qwen3.6-27B is a dense, open source multimodal language model in the Qwen3.6 series, designed to deliver flagship-level performance in coding, reasoning, and agent-based workflows while maintaining a relatively efficient parameter size of 27 billion. It is positioned as a high-performance general model that “punches above its weight,” achieving results competitive with or superior to significantly larger models on key benchmarks, particularly in agentic coding tasks. It supports both thinking and non-thinking modes, allowing it to dynamically balance deep reasoning with fast responses depending on the task, and integrates capabilities across text and multimodal inputs such as images and video. Built as part of the Qwen3.6 family, the model emphasizes real-world usability, stability, and developer productivity, incorporating improvements driven by community feedback and practical deployment needs.Starting Price: Free
