saphan-ai/proven은 코드 변경을 검토하고 증명할 수 있는 문제만 보고하도록 설계된 Go 코드 리뷰어다. 버그를 재현하는 테스트나 위험을 확인하는 데이터가 있어야 보고를 낸다. 저장소에는 최신 릴리스 버전이 제시되지 않았다. Apache-2.0 라이선스로 공개됐으며, 저장소 설명에 따르면 Open Agent Hackathon 2026을 위해 Saphan Studio와 여러 AI 에이전트가 만들었다.
이 도구의 핵심은 의심만으로 문제를 단정하지 않고, 반복해 확인할 수 있는 근거를 요구하는 데 있다. README는 코드 변경 검토와 함께 명령줄 검사, 의존성 증거 수집 사례를 소개한다. 보안 검토에서는 코드를 여러 경계 영역으로 나누어 독립적으로 살펴보고 결과를 비교했으며, 발견한 약점은 시험으로 확인한 뒤 수정했다고 기록한다. 네트워크와 자격 증명 없이 실행하는 예시도 포함돼 있다. 이 자료는 검토 절차와 근거를 어떻게 다루는지 보여 준다.
다만 README가 설명하는 것은 해커톤 개발 일지와 단계별 실행 기록, 사례들이다. 저장소 설명에는 실제 배포나 사용 범위에 관한 정보가 제시되지 않았고, 최신 릴리스도 기록돼 있지 않다. 따라서 현재 확인할 수 있는 강점은 증거를 요구하는 검토 방식과 그 과정을 보여 주는 자료이며, 이를 넘어선 제품의 성숙도까지 판단할 근거는 제한적이다.