teaql/teaql-agent-kit

해결하는 문제

TeaQL Agent Kit는 요구사항에서 구현으로 직접 이동하는 코딩 에이전트의 신뢰성 부족 문제를 해결합니다. 에이전트가 도메인 계약과 비즈니스 로직을 동시에 창출하는 것을 방지하기 위해, 의도와 코드 사이에 결정론적이고 모델 기반의 계층을 도입합니다.

작동 방식

프롬프트에서 코드로의 루프 대신, TeaQL은 특정 실행 순서를 강제하는 "하네스 패턴"을 구현합니다:

1. 도메인 모델링: 에이전트는 비즈니스 의도의 검사 가능한 중간 표현(ksml 모델)을 생성합니다.
2. 결정론적 평가: 피드백 오라클이 모델에 오류가 있는지 검사하고 구체적인 수정 안내를 제공합니다.
3. 계약 생성: 검증이 완료되면 모델은 다중 언어용 타입화된 API 경계(도메인 라이브러리)로 변환됩니다.
4. 제약된 구현: 고정된 계약에 따라 에이전트는 애플리케이션 로직을 구현하며, 모델 인식 도구가 사용 가능한 API를 에이전트에게 가르쳐 줍니다.
5. 검증: 결과는 컴파일, 테스트, 런타임 정책 검사를 통해 검증되어 증거 기반 결과를 생성합니다.

대상 사용자

비결정론적 AI 생성에 대해 높은 신뢰성, 감사 가능성, 결정론적 구조를 필요로 하는 소프트웨어 개발자 및 AI 엔지니어.

주요 특징

• 다중 언어 지원: Java, Rust, Go, Swift, Python, C#/.NET, TypeScript용 타입화된 도메인 라이브러리 생성.
• 런타임 거버넌스: 필수 ID, 의도 감사(읽기 시 목적/주석, 쓰기 시 감사 사유), 기능 사전화 강제.
• 증거 기반 완료: 초기 요구사항에서 평가 및 테스트를 거쳐 최종 애플리케이션에 이르기까지 추적 가능한 증거 체인 생성.
• 병렬 인간 검토: 인간 리뷰어가 KSML 모델을 검토하고 에이전트의 진행을 방해하지 않고 비동기 피드백 제공 가능.