AI Programming

BLACKBOX AI BLACKBOX

A multi-agent coding platform for development teams, integrating CLI, IDE, API and cryptographic inference gateway into a unified execution layer

Covalence Covalence

The local persistent memory layer across the AI ​​client provides semantic memory for Claude, Cursor, etc. through the MCP protocol.

Bloop Bloop

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

Deno Deno

Modern JS/TS runtime, native AI capabilities and Edge deployment platform

Fabius AI Fabius

AI code review and assistance platform for development teams

Catnip AI

AI-driven intelligent programming and development efficiency platform

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.

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.

Codacy Codacy

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

CodeBuddy IDE CodeBuddy

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