AI Programming

Bloop Bloop

AI code search and interpretation tool based on semantic understanding to quickly locate and understand unfamiliar code bases

Catnip AI

AI-driven intelligent programming and development efficiency platform

Fabius AI Fabius

AI code review and assistance platform for development teams

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

Forge Code Forge

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

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.