-
1
bolt.diy
bolt.diy
Empowering developers to seamlessly create and innovate with AI.
bolt.diy serves as an open-source platform designed to enable developers to easily create, modify, deploy, and run comprehensive web applications using a wide range of large language models (LLMs). This platform features an array of models, including OpenAI, Anthropic, Ollama, OpenRouter, Gemini, LMStudio, Mistral, xAI, HuggingFace, DeepSeek, and Groq. By providing seamless integration through the Vercel AI SDK, it allows users to customize and enhance their applications with their chosen LLMs. The user-friendly interface of bolt.diy simplifies AI development processes, making it an ideal tool for both experimentation and solutions ready for production. Its flexibility ensures that developers, regardless of their experience level, can effectively leverage AI capabilities in their projects. Additionally, bolt.diy fosters a collaborative environment where developers can share insights and improvements, further enhancing the community-driven aspect of AI development.
-
2
Cline
Cline AI Coding Agent
Empower your coding with seamless, consent-driven AI assistance.
Cline is an open-source AI coding platform that provides developers with an intelligent software engineering agent capable of working across IDEs, command-line interfaces, automation pipelines, and embedded applications. Designed as a unified coding agent runtime, Cline helps developers understand unfamiliar codebases, coordinate complex multi-file refactoring, execute shell commands, automate repetitive engineering work, and extend development workflows through AI-assisted reasoning and execution. The platform supports a wide range of AI providers, including Claude, OpenAI, Gemini, DeepSeek, Mistral, AWS Bedrock, Azure, Google Vertex AI, Ollama, local models, and any OpenAI-compatible endpoint, allowing organizations to adopt AI without vendor lock-in. Cline's Plan-and-Act workflow enables developers to collaborate with the agent by reviewing implementation strategies before code changes are applied, while optional autopilot modes can automate approved workflows. The platform performs coordinated edits across entire projects while maintaining imports, dependencies, types, formatting, and project consistency throughout large-scale code modifications. Developers can execute terminal commands, monitor long-running development servers, run tests, perform deployments, and respond dynamically to command output without leaving the development environment. Repository-specific rules, reusable skills, MCP integrations, plugins, lifecycle hooks, and SDK extensions allow teams to customize Cline for internal coding standards, architecture patterns, infrastructure management, and proprietary development workflows. Multi-agent coordination enables specialized AI agents to collaborate on larger engineering initiatives, while scheduled automations support recurring maintenance, quality assurance, and DevOps tasks through cron jobs and CI/CD pipelines.
-
3
Devika
Devika
Empowering developers with innovative, transparent, open-source AI solutions.
Devika stands out as a pioneering open-source AI software engineer that translates high-level directives into manageable tasks, collects relevant data, and generates code to fulfill designated objectives. Utilizing cutting-edge language models, reasoning methodologies, and browsing capabilities, Devika adeptly supports software development while tackling complex programming issues with minimal human intervention. This platform is designed to work with a wide array of programming languages and includes vital features like advanced AI planning, contextual keyword extraction, and real-time agent oversight. Aspiring to challenge proprietary AI alternatives, Devika serves as a bold, open-source option for developers in need of adaptive assistance for their projects. By aiming to enhance the coding experience, it ultimately strives to empower programmers and boost overall productivity, ensuring that innovation in software development remains accessible to all. Furthermore, its commitment to transparency and collaboration in development sets it apart in an increasingly competitive landscape.
-
4
Mistral Vibe
Mistral AI
Revolutionize coding efficiency with intelligent automation and insights.
Mistral Vibe is a comprehensive AI agent platform developed to assist organizations, professionals, and developers with complex work that requires research, analysis, content creation, workflow execution, and software development. The platform integrates advanced AI models with business tools, internal knowledge repositories, communication systems, databases, and external information sources to provide context-aware assistance. Users can perform deep research, create reports, prepare presentations, generate business documents, and automate operational processes from a centralized workspace. Its AI agents are designed to handle long-horizon tasks that involve multiple steps, decision points, and information sources. For business users, Mistral Vibe can streamline meeting preparation, document creation, data analysis, recurring workflows, and communication management. For software teams, the platform offers specialized coding tools that work through terminals, IDEs, web interfaces, and autonomous background agents. These coding capabilities support code generation, testing, debugging, code reviews, performance optimization, documentation, dependency management, and feature development. Mistral Vibe also enables large-scale modernization projects, including legacy system migrations, framework upgrades, and architectural transformations while preserving business logic. Organizations can customize AI behavior through model training, fine-tuning, and deployment options that align with security and compliance requirements. The platform's integrations with development tools, project management systems, and enterprise applications provide rich context for more informed decision-making. By combining AI-powered productivity, automation, software engineering, and enterprise intelligence into a single ecosystem, Mistral Vibe helps teams reduce manual effort and accelerate business outcomes.
-
5
Forge Code
Forge Code
Revolutionize coding: natural language commands, seamless integration!
Forge Code is an innovative pair-programming tool powered by AI that functions directly in the terminal, enabling users to oversee their entire codebase through conversational commands. Its seamless integration into your shell environment eliminates the need to interrupt your existing IDE or workflow, allowing you to work with familiar tools without disruption. When activated, Forge Code understands project files, Git history, dependencies, and the surrounding environment, which equips it to comprehend the layout of your codebase and address inquiries with minimal need for further clarification. The tool features a dual-agent system, which includes a "Forge Agent" responsible for implementing code changes and performing real-time operations, while a "Muse Agent" concentrates on planning, assessing, and reviewing code without modifying any files. Additionally, Forge Code is compatible with your preferred AI service providers or self-hosted LLMs, granting you full control over how your code is managed and the functioning of the model. This adaptability empowers developers to customize the experience to suit their individual preferences and requirements, ultimately enhancing their productivity and coding efficiency. As a result, Forge Code not only simplifies the programming process but also fosters a more collaborative development environment.
-
6
Leanstral
Mistral AI
Revolutionizing code generation with formal verification excellence.
Leanstral is an open-source AI coding agent introduced by Mistral AI to support the development of formally verified software and mathematical proofs using Lean 4. The model is specifically designed for proof engineering, allowing it to generate code and automatically verify its correctness against formal specifications. Lean 4 is a powerful proof assistant used in advanced mathematics and software verification, and Leanstral is the first AI agent built specifically to operate within this environment. Instead of relying on general-purpose coding models, Leanstral is trained to work directly with formal repositories and structured proof systems. The model uses a sparse architecture with efficient active parameters, enabling it to deliver strong reasoning performance while maintaining computational efficiency. Leanstral can leverage Lean’s verification capabilities to test and validate generated solutions through parallel inference processes. This approach helps ensure that AI-generated code adheres strictly to defined logical and mathematical requirements. The model supports integration with development tools and model communication protocols, enabling it to function within broader AI-assisted coding environments. Benchmarks demonstrate that Leanstral can outperform many large open-source models in proof engineering tasks while operating at a lower cost. Its design allows developers to automatically generate proofs, verify algorithms, and build mathematically sound software implementations. Released under the Apache 2.0 license, Leanstral can be downloaded, fine-tuned, and deployed in private infrastructure. By combining automated coding with formal verification, Leanstral represents a significant step toward building trustworthy AI systems for critical software and research applications.
-
7
ProxyAI
ProxyAI
Transform your coding experience with intelligent, context-aware assistance.
ProxyAI is a cutting-edge coding assistant driven by artificial intelligence, expertly crafted to integrate effortlessly into development environments such as JetBrains IDEs, including IntelliJ, PyCharm, and WebStorm. By delivering context-aware code suggestions and automating standard programming tasks, it significantly improves developers' workflows, resulting in enhanced efficiency and productivity. Users can take advantage of its compatibility with various large language model providers, allowing them to choose models tailored to their specific performance, budget, and feature needs. Furthermore, it features functionalities like generating and applying diff patches to alter code across multiple files, which removes the cumbersome process of manual copy-pasting and streamlines code modification efforts. Serving as a unified platform for AI-driven development, ProxyAI connects to an array of AI services, offering a centralized access point while ensuring users maintain control over their data and code ownership, thereby creating a more secure development landscape. This all-encompassing solution not only optimizes coding methodologies but also empowers developers to harness the forefront of AI advancements, ultimately transforming their programming experience. In this way, ProxyAI not only simplifies complex tasks but also inspires creativity and innovation in software development.
-
8
Pi Agent
Pi
Streamline your development with customizable, adaptable terminal harness.
Pi is an efficient terminal coding environment that is built to integrate effortlessly with developers' workflows, allowing them to work naturally rather than having to adapt to its framework. It features solid default configurations while remaining lightweight and offering a wide range of customization possibilities, enabling users to expand Pi through various extensions, skills, prompt templates, themes, and shareable packages from npm or git. When teams need particular commands, tools, providers, workflows, or UI changes, they can easily direct Pi to create these elements, make real-time modifications, refresh, and resume their tasks without any delays. Pi's flexibility is evident in its support for various modes including interactive, print/JSON, RPC, and SDK, allowing it to serve as a full-fledged terminal UI, a programmable command interface, a JSON event stream, or a readily embeddable agent. Additionally, it is compatible with over 15 providers and a multitude of models, such as Anthropic, OpenAI, Google, Azure, Bedrock, Mistral, Groq, Cerebras, xAI, Hugging Face, Kimi For Coding, MiniMax, OpenRouter, Ollama, and more, enabling seamless mid-session model switching that enhances both flexibility and user satisfaction. This versatility makes Pi an essential resource for developers aiming to customize their coding environment precisely according to their preferences and requirements, ultimately fostering a more productive and enjoyable programming experience.