ZhangHanDong/agent-spec

해결하는 문제

agent-spec는 인간의 요구사항과 AI 생성 코드 사이의 격차를 메우기 위한 "의도 컴파일러"입니다. 비구조화된 인간의 요청(프로덕트 요구사항서, 이슈, 대화 등)을 검증 가능한 기계 읽기 가능한 Task Contract로 변환함으로써, AI 에이전트가 원래 의도에서 벗어나거나 '환각'을 일으키는 문제를 방지합니다. 이로 인해 코드가 수용되기 전에 엄격한 기준에 따라 기계적으로 검증되게 됩니다.

작동 방식

이 프로젝트는 고수준의 의도에서 검증된 코드로 이어지는 컴파일러 파이프라인을 구현합니다:

1. 입력: 인간의 의도가 구조화된 요구사항(중간 표현 또는 IR)으로 캡처됩니다.
2. 저수준화: 이러한 요구사항이 Task Contract로 변환되며, 의도, 기술적 결정, 경계(변경 가능/불가능한 부분), 완료 기준(BDD 시나리오)을 정의합니다.
3. 구현: AI 에이전트가 이러한 계약을 기반으로 코드를 구현합니다.
4. 검증: cargo test, 린팅, 구조적 검사 등의 도구를 사용해 모델에 의존하지 않고 결정론적인 백엔드가 구현을 검증하여 계약을 충족하는지 확인합니다.
5. 라이브 트레이싱: 요구사항이 시간이 지남에 따라 여전히 준수되는지 여부를 추적합니다.

대상 사용자

AI 에이전트(Claude Code, Cursor, Codex 등)를 사용해 코딩 작업을 자동화하는 개발자 및 팀 중, AI 생성 변경 사항에 대해 엄격한 거버넌스, 추적 가능성, 기계적 검증을 필요로 하는 분들입니다.

주요 특징

• 결정론적 검증: AI는 초안 작성과 코딩에 사용되지만, 검증 게이트는 모델에 의존하지 않고 결정론적입니다.
• Task Contract: 영어와 중국어를 지원하는 전용 DSL로 경계와 BDD 시나리오를 정의할 수 있습니다.
• 명시적 테스트 바인딩: 구체적인 BDD 시나리오를 코드베이스 내 실제 테스트 함수에 직접 연결합니다.
• 에이전트 스킬: 인기 있는 AI 도구용으로 사전 구축된 작성, 추정, 의도 컴파일링 스킬을 포함합니다.
• 플랜 생성: 계약, 코드베이스 컨텍스트, 위상적으로 정렬된 작업 스케치를 포함하는 자가 포함형 프롬프트를 생성합니다.