AI Programming

CodeBuddy IDE CodeBuddy

The full-stack development AI IDE launched by Tencent integrates everything from requirements to design, coding and deployment.

Forge Code Forge

Multi-model AI pair programming tool to help developers plan, modify and verify code in the terminal.

Codeflash AIStartMap

AI code performance optimization engine for engineering teams, enabling continuous performance engineering and infrastructure cost reduction through automated agents

F* F*

Proof-oriented programming language, dependency type + SMT automated verification, code extraction to OCaml/C/Rust, introduction of AI proof assistant in 2026

Langfuse Langfuse

An open source AI engineering platform that integrates tracking, evaluation, prompt word management and experimental processes into the same workbench

Amazon Q Developer AWS

AWS official AI development assistant, deeply integrated with AWS ecosystem and code security scanning

MutableAI MutableAI

AI-driven code base-level refactoring and code understanding tool, supporting multi-file editing and automated document generation

LangMagic LangMagic

AI code conversion tool

AskCodi AskCodi

Locally running AI engineering team - CTO Agent orchestrates multi-specialty Agents to be developed in parallel in an isolated git worktree

Not Diamond Not Diamond

Allocate requests to more appropriate models through model routing to automatically balance effects and costs.

CodeGPT CodeGPT

Multi-model integrated AI code assistant, supporting VS Code extension and independent desktop client

Gemini Code Assist Gemini Code Assist

Google Gemini series of AI programming assistants for individual developers and enterprise engineering teams.