AI Programming

AI For Developers AI For Developers

AI tool catalog and selection platform for developers, covering IDE Assistants, Coding Agents, App Builders and other tracks

Codacy Codacy

A mature automatic code quality review platform that has incorporated AI-enhanced defect detection and repair suggestions in recent years.

Fabius AI Fabius

AI code review and assistance platform for development teams

Forge Code Forge

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

Kilo Code

Open source AI programming agent, supporting 500+ models, zero markup inference and full-platform IDE

Amazon CodeWhisperer Amazon CodeWhisperer

AI code generation assistant launched by AWS, deeply integrated with AWS ecosystem

Mintlify Mintlify

An AI native documentation platform for developer teams, integrating Markdown/MDX documentation and AI assistant API walkthroughs in one place

CodeBuddy IDE CodeBuddy

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

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

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