skydiscover-ai/skydiscover

해결하는 문제

SkyDiscover는 고성능 알고리즘과 복잡한 소프트웨어 시스템을 수동으로 설계하는 어려움을 해결합니다. 특정 하드웨어, 워크로드 및 요구 사항에 맞춘 더 나은 알고리즘 발견과 특수한 엔드투엔드 시스템 생성을 자동화하여 획일적인 소프트웨어 솔루션을 대체합니다.

작동 방식

이 프레임워크는 두 가지 주요 모듈을 통해 작동합니다.

1. SkyDiscover-Optimize: 진화적 검색 알고리즘(AdaEvolve 및 EvoX 등)을 사용하여 프로그램을 반복적으로 개선합니다. 사용자가 점수 함수를 제공하면 AI가 해당 점수를 최대화하도록 코드를 진화시킵니다.
2. SkyDiscover-Synthesize: 코딩 에이전트를 사용하여 일반 텍스트 설명이나 공식 사양에서 완전한 시스템을 구축합니다. 코드와 기계 검증된 증명을 함께 생성하는 형식 증명 기반 방법과, 에이전트가 구현을 반복하는 동안 감사자가 새 테스트를 생성하여 '보상 해킹'을 방지하는 테스트 기반 방법의 두 가지 주요 접근 방식을 사용합니다.

대상 사용자

컴퓨터 과학 및 시스템 프로그래밍 분야의 연구자와 엔지니어로, 알고리즘 성능을 최적화하거나 고효율 특수 시스템(예: 키-값 저장소, LLM 추론 엔진, 모델 라우터)을 구축해야 하는 사람들을 위해 설계되었습니다.

주요 특징

• 적응형 검색: 자체 설정을 조정하는 AdaEvolve와 자체 최적화 프로세스를 최적화하는 EvoX를 포함합니다.
• 적시 시스템: Redis보다 빠른 KV 저장소와 vLLM보다 높은 처리량의 추론 엔진 등 범용 대안을 능가하는 시스템을 합성할 수 있습니다.
• 검증: 신뢰성을 위한 형식 기계 검증 증명과 엄격한 테스트 기반 감사를 모두 지원합니다.
• 에이전트 통합: Claude Code, Codex, Cursor, Pi 등 다양한 코딩 에이전트와 연동됩니다.