솔리디티 스마트 계약 감사 에이전트

주요 기능

• 파일작업 폴더에서 파일을 읽고, 쓰고, 편집하고, 삭제하고, 나열합니다.
• Shell실제 종료 코드로 빌드 및 테스트 명령을 실행합니다.
• 웹웹을 검색하거나 공식 문서 페이지 하나를 읽습니다.
• 스크린샷 및 이미지스크린샷에서 텍스트를 읽거나 이미지 파일을 생성합니다.
• 오케스트레이션병렬 서브 에이전트를 실행하거나 복잡한 단계를 더 큰 모델로 보냅니다.
• 승인 모드사용자의 통제를 위해 Auto-run, Ask first, Plan only 중 하나를 선택합니다.
• 크론사용자가 지켜보지 않아도 예약된 시간에 프롬프트를 실행합니다.
• 모델클라우드 제공업체, 로컬 모델 또는 내장 모델을 사용할 수 있습니다.

사용 가이드

결함 찾기

Keylatch는 list_dir과 glob을 사용하여 계약 파일을 찾고, read_file을 사용하여 코드를 읽어 안전하게 검토할 수 있게 합니다. grep을 통해 프로젝트 디렉토리 구조 전반에 있는 모든 외부 호출과 접근 확인을 찾습니다. write_file과 edit_file은 Ask first 모드에서 수락하기 전에 diff를 표시합니다. Shell은 PC에서 자체 테스트 명령과 정적 분석 명령을 실행합니다. web_search를 통해 공식 솔리디티 문서를 읽어 최신 표준을 확인합니다. 이 솔리디티 스마트 계약 감사에서는 스크린샷의 표를 읽기 위해 ocr을 사용합니다. 감사 시 AI의 위양성(False Positives)은 수동 확인을 통해 필터링합니다.

테스트 실행

에이전트는 grep을 사용하여 프로젝트 전반의 모든 외부 호출과 상태 변경을 찾아 문제가 있을 수 있는 위치를 정확히 파악하고 계획을 검토합니다. 계획을 검토하세요. read_file을 사용하여 계약을 읽고 list_dir을 사용하여 파일을 찾습니다. 스마트 계약 감사 예시는 write_file과 edit_file이 발견 사항을 메모로 작성하는 방법을 보여줍니다. Plan only 모드에서 실행 전에 계획을 검토합니다. Shell은 테스트 명령을 실행하고 출력을 텍스트 파일로 저장합니다. web_search와 http_get은 참조용 공식 솔리디티 문서를 읽습니다. 스마트 계약 감사의 다음 단계는 로컬 테스트를 통해 발견 사항을 확인하는 것입니다.