specproof은(는) 무엇을 하나요?
AI가 작성한 테스트의 신뢰성을 유지합니다. AI가 Gherkin 명세를 작성하고, 결정론적 SHA-256 엔진이 CI에서 명세/구현/기능 간의 차이를 감지하며, 최종 결정은 사람이 내립니다. Codex 및 Claude Code를 위한 에이전트 스킬과 Playwright/Flutter 스캐폴드를 제공합니다.
개요
specproof는 AI 기반 소프트웨어 개발에서 테스트 명세의 정확성과 무결성을 보장하기 위해 설계된 도구입니다. 특히 AI 에이전트가 생성한 Gherkin 시나리오가 시간이 지나도 일관성을 유지하고, 실제 구현 및 기능과 동기화되도록 보장합니다.
주요 기능
- Gherkin 명세 생성: AI가 사람이 읽을 수 있는 Gherkin 형식으로 명세를 초안으로 작성합니다.
- 결정론적 SHA-256 엔진: 명세와 구현 간의 차이를 감지하기 위해 SHA-256 해시를 사용합니다. 이 엔진은 CI 파이프라인에서 실행되어 변경 사항을 자동으로 플래그 표시합니다.
- 인간의 개입: 플래그가 표시된 차이점을 검토하고 최종 결정을 내리는 것은 사람의 역할입니다.
- 에이전트 스킬: Codex 및 Claude Code와 호환되는 에이전트 스킬을 제공합니다.
- 프레임워크 스캐폴드: Playwright (웹) 및 Flutter (모바일) 테스트를 위한 즉시 사용 가능한 스캐폴드를 포함합니다.
사용 방법
- AI 에이전트가 Gherkin 명세를 생성하도록 요청합니다.
specproof가 명세의 SHA-256 해시를 계산합니다.- CI/CD 파이프라인에서 각 빌드마다 해시를 비교하여 차이를 감지합니다.
- 차이가 발견되면 알림이 전송되고, 사람이 검토합니다.
- 필요에 따라 명세를 업데이트하거나 구현을 수정합니다.
지원 플랫폼
- 에이전트: Codex, Claude Code
- 테스트: Playwright, Flutter
예제
Feature: 사용자 로그인
Scenario: 올바른 자격 증명으로 로그인
Given 사용자가 로그인 페이지에 있다
When 올바른 사용자 이름과 비밀번호를 입력한다
Then 대시보드로 리디렉션된다
라이선스
이 프로젝트의 라이선스 정보는 저장소를 참조하세요.