AI ప్రోగ్రామింగ్

코디시 Codacy

최근 몇 년간 AI로 강화된 결함 감지 및 복구 제안을 통합한 성숙한 자동 코드 품질 검토 플랫폼입니다.

에프* F*

증명 지향 프로그래밍 언어, 종속성 유형 + SMT 자동 검증, OCaml/C/Rust로 코드 추출, 2026년 AI 증명 도우미 도입

제미니 코드 지원 Gemini Code Assist

개인 개발자 및 기업 엔지니어링 팀을 위한 Google Gemini 시리즈의 AI 프로그래밍 도우미입니다.

맥심 AI Maxim AI

AI 에이전트를 위한 평가, 시뮬레이션, 관찰 가능성 및 품질 엔지니어링 플랫폼

에이전트 운영 AgentOps

AI Agent를 위한 관찰, 재생, 비용 추적 및 디버깅 플랫폼

코드버디 IDE CodeBuddy

Tencent가 출시한 풀 스택 개발 AI IDE는 요구 사항부터 설계, 코딩, 배포까지 모든 것을 통합합니다.