AI Programming

Forge Code Forge

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

Ccstatusline Ccstatusline

AI auxiliary tools for system status monitoring and exception warning, helping the operation and maintenance team to grasp the service running status in real time and locate the root cause of the problem

Codacy Codacy

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

F* F*

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

A2UI A2UI

The agent-to-UI protocol initiated by Google allows agents to safely output renderable native interfaces.

AgentOps AgentOps

Observation, playback, cost tracking and debugging platform for AI Agent

CodeBuddy IDE CodeBuddy

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

Gemini Code Assist Gemini Code Assist

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

Gitingest Gitingest

Convert any Git repository into an LLM-friendly text summary with just one URL replacement

Google AI Dev Google AI

Google's official AI developer platform, providing Gemini API and AI Studio

Codeflash AIStartMap

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

Amazon Q Developer CLI

The AI ​​programming auxiliary command line tool launched by AWS provides natural language-driven code generation and cloud resource management in the terminal.