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

위조 코드 Forge

개발자가 터미널에서 코드를 계획, 수정 및 검증하는 데 도움이 되는 다중 모델 AI 쌍 프로그래밍 도구입니다.

에프* F*

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

랭퓨즈 Langfuse

추적, 평가, 프롬프트 단어 관리 및 실험 프로세스를 동일한 워크벤치에 통합하는 오픈 소스 AI 엔지니어링 플랫폼

아마존 Q 개발자 AWS

AWS 공식 AI 개발 도우미, AWS 생태계 및 코드 보안 스캐닝과 긴밀하게 통합됨

코드플래시 AIStartMap

엔지니어링 팀을 위한 AI 코드 성능 최적화 엔진으로 자동화된 에이전트를 통해 지속적인 성능 엔지니어링 및 인프라 비용 절감이 가능합니다.

AskCodi AskCodi

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

민트파이 Mintlify

Markdown/MDX 문서와 AI 보조 API 연습을 한 곳에 통합하는 개발자 팀을 위한 AI 기본 문서 플랫폼

코드GPT CodeGPT

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

제미니 코드 지원 Gemini Code Assist

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

랭매직 LangMagic

AI 코드 변환 도구

GitHub 코파일럿 Copilot

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

사랑스럽다 Lovable

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