Keylatch là một agent tự động cho việc kiểm toán hợp đồng thông minh Solidity trên máy tính Windows của bạn. Nó đọc mã nguồn, chạy các bài kiểm thử và ghi lại các kết quả mà nó báo cáo.
Mã nguồn của bạn vẫn nằm trên máy tính và không bao giờ rời đi trừ khi bạn chọn. Các lời nhắc chỉ được gửi đến điểm cuối mô hình mà bạn chọn; với mô hình cục bộ, mọi thứ đều không rời khỏi máy tính, còn với mô hình đám mây, văn bản tệp được gửi đến nhà cung cấp đó.
Nó thực thi trình quét của bạn và hiển thị mã thoát thực tế.
Mỗi lần chỉnh sửa đều xuất hiện dưới dạng diff mà bạn có thể chấp nhận hoặc từ chối.
Agent tìm các tệp, đọc mã nguồn và chạy các kiểm tra của bạn.
.3 tệpToken.solđọc 120 dòngexternal call5 kết quả khớpyour test commandthoát 0findings-log.txtđã lưuKeylatch sử dụng list_dir và glob để tìm các tệp hợp đồng của bạn, và nó sử dụng read_file để đọc mã nguồn để bạn có thể xem xét một cách an toàn. grep tìm mọi lệnh gọi bên ngoài và kiểm tra truy cập trên toàn bộ cấu trúc thư mục dự án. write_file và edit_file hiển thị diff trong Ask first trước khi bạn chấp nhận. Shell chạy lệnh kiểm thử và lệnh kiểm tra tĩnh của bạn trên máy tính của bạn. web_search đọc tài liệu Solidity chính thức để xác minh các tiêu chuẩn mới nhất. Việc kiểm toán hợp đồng thông minh Solidity này sử dụng ocr để đọc bảng từ ảnh chụp màn hình. Lọc các kết quả dương giả từ AI trong các cuộc kiểm toán được xử lý bằng cách xác nhận thủ công.
Agent sử dụng grep để tìm mọi lệnh gọi bên ngoài và thay đổi trạng thái trên toàn bộ dự án, để nó biết chính xác nơi cần tìm vấn đề và xem xét kế hoạch. Xem xét kế hoạch. Nó sử dụng read_file để đọc một hợp đồng và list_dir để tìm các tệp. Ví dụ kiểm toán hợp đồng thông minh cho thấy cách write_file và edit_file ghi các ghi chú về kết quả. Bạn xem xét kế hoạch trong Plan only trước khi chạy bất cứ điều gì. Shell chạy lệnh kiểm thử của bạn và lưu đầu ra vào một tệp văn bản. web_search và http_get đọc tài liệu Solidity chính thức để tham khảo. Bước tiếp theo của kiểm toán hợp đồng thông minh là xác nhận các kết quả bằng một bài kiểm thử cục bộ.
Keylatch không phải là dịch vụ lưu trữ hoặc plugin; nó chỉ dành cho các tệp, máy tính và máy chủ của riêng bạn mà bạn được ủy quyền sử dụng — bạn giữ công việc bên trong đó. Agent không thực thi phạm vi; Shell, web và SSH không bị ràng buộc bởi thư mục. Không có đảm bảo rằng mã, bản quét hoặc phân tích là chính xác. Agent có thể báo cáo các kết quả dương giả, vì vậy một người xác nhận hoặc loại bỏ từng phát hiện. Chuyển sang phân tích tĩnh trong quy trình kiểm toán đòi hỏi xác minh cẩn thận.
