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

에프* F*

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

제미니 코드 지원 Gemini Code Assist

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

랭매직 LangMagic

AI 코드 변환 도구

AskCodi AskCodi

로컬에서 실행되는 AI 엔지니어링 팀 - CTO 에이전트는 격리된 Git 작업 트리에서 병렬로 개발될 다중 전문 에이전트를 조정합니다.

다이아몬드 아님 Not Diamond

모델 라우팅을 통해 보다 적절한 모델에 요청을 할당하여 효과와 비용의 균형을 자동으로 조정합니다.

코드GPT CodeGPT

VS Code 확장 및 독립 데스크톱 클라이언트를 지원하는 다중 모델 통합 AI 코드 도우미

아마존 Q 개발자 AWS

AWS가 출시한 AI 프로그래밍 도우미는 AWS 생태계의 코드 생성 및 디버깅 도구를 심층적으로 통합합니다.

OpenLIT OpenLIT

OpenTelemetry-native의 오픈 소스 AI 엔지니어링 플랫폼은 LLM/에이전트 추적, 평가 프롬프트 및 모니터링을 다룹니다.

코드큐웬 Qwen Team

Alibaba Tongyi Qianwen 팀이 출시한 대규모 코드별 모델은 92개 프로그래밍 언어와 64K 컨텍스트를 지원합니다.

GitHub 코파일럿 Copilot

GitHub Copilot은 코드 완성 채팅, 코딩 에이전트 및 다중 모델 협업을 다루는 세계에서 보급률이 가장 높은 AI 프로그래밍 도우미입니다.

사랑스럽다 Lovable

Lovable은 자연어를 통해 직접 풀스택 애플리케이션을 생성하므로 엔지니어가 아니거나 소규모 팀이 빠르게 제품을 출시할 수 있습니다.

고코데오 GoCodeo

AI 프로그래밍 플랫폼은 개발자에게 코드 생성, 디버깅 및 프로젝트 구현 지원을 제공합니다.