AI Programming

Catnip AI

AI-driven intelligent programming and development efficiency platform

Fabius AI Fabius

AI code review and assistance platform for development teams

Langfuse Langfuse

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

LangMagic LangMagic

AI code conversion tool

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

Lunary Lunary

Observable prompt management, evaluation and logging platform for production-level LLM applications.

A2UI A2UI

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

Maxim AI Maxim AI

Evaluation, simulation, observability and quality engineering platform for AI Agents

AgentOps AgentOps

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