AI Programming
-
Covalence Covalence
The local persistent memory layer across the AI client provides semantic memory for Claude, Cursor, etc. through the MCP protocol.
-
Deno Deno
Modern JS/TS runtime, native AI capabilities and Edge deployment platform
-
Kiln Kiln
Team-oriented AI workbench puts construction, evaluation, optimization and collaboration into the same development workbench
-
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
-
Langfuse Langfuse
An open source AI engineering platform that integrates tracking, evaluation, prompt word management and experimental processes into the same workbench
-
Forge Code Forge
Multi-model AI pair programming tool to help developers plan, modify and verify code in the terminal.
-
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
-
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










