เลือกปลายทางของพรอมต์
โค้ดของคุณอยู่บนพีซีและไม่ออกไปไหน เว้นแต่คุณจะเลือก พรอมต์ส่งไปยังจุดปลายแบบจำลองที่คุณเลือกเท่านั้น; ด้วยแบบจำลองในเครื่อง ข้อมูลจะไม่ออกจากพีซีเลย แต่กับแบบจำลองบนคลาวด์ ข้อความจะถูกส่งไปยังผู้ให้บริการนั้น
ผลิตภัณฑ์
เอเจนต์ตรวจสอบสัญญาอัจฉริยะ Solidity
01
Keylatch คือเอเจนต์อัตโนมัติสำหรับการตรวจสอบสัญญาอัจฉริยะ Solidity บนพีซี Windows ของคุณ มันอ่านโค้ด รันการทดสอบ และบันทึกผลการค้นพบที่รายงาน
รันเครื่องมือของคุณ
มันรันตัวสแกนเนอร์ของคุณและแสดงรหัสสถานะจริง
แสดงการเปลี่ยนแปลง
ทุกการแก้ไขปรากฏเป็นดิสฟที่คุณสามารถยอมรับหรือปฏิเสธได้
คุณสมบัติ
- ไฟล์อ่าน เขียน แก้ไข ลบ และแสดงรายการไฟล์ในโฟลเดอร์การทำงานของคุณ
- Shellรันคำสั่งสร้างและทดสอบของคุณด้วยรหัสสถานะจริง
- เว็บค้นหาเว็บหรืออ่านหน้าเอกสารทางการหนึ่งหน้า
- ภาพหน้าจอและรูปภาพอ่านข้อความจากภาพหน้าจอหรือสร้างไฟล์รูปภาพ
- การประสานงานรันเอเจนต์ย่อยแบบขนานหรือส่งขั้นตอนที่ยากไปยังแบบจำลองที่ใหญ่กว่า
- โหมดการอนุมัติAuto-run, Ask first, หรือ Plan only เพื่อการควบคุมของคุณ
- Cronรันพรอมต์ของคุณตามกำหนดเวลาโดยไม่ต้องคุณเฝ้าดู
- แบบจำลองใช้ผู้ให้บริการคลาวด์ แบบจำลองในเครื่อง หรือแบบจำลองที่ติดตั้งมาพร้อม
วิธีการทำงาน
เอเจนต์ค้นหาไฟล์ อ่านโค้ด และรันการตรวจสอบของคุณ
ตรวจสอบสัญญาสำหรับจุดบกพร่องเรื่อง reentrancy และการควบคุมการเข้าถึง
- list_dir
.3 ไฟล์ - read_file
Token.solอ่าน 120 บรรทัด - grep
external call5 การจับคู่ - Shell
your test commandexit 0 - write_file
findings-log.txtบันทึกแล้ว
รอการยืนยันจากคุณก่อนดำเนินการขั้นตอนถัดไปปฏิเสธยอมรับ
บทแนะนำ
ค้นหาจุดบกพร่อง
Keylatch ใช้ list_dir และ glob เพื่อค้นหาไฟล์สัญญาของคุณ และใช้ read_file เพื่ออ่านโค้ดเพื่อให้คุณสามารถตรวจสอบได้อย่างปลอดภัย grep พบทุกการเรียกภายนอกและการตรวจสอบการเข้าถึงทั่วทั้งโครงสร้างไดเรกทอรีของโปรเจกต์ write_file และ edit_file แสดงดิสฟในโหมด Ask first ก่อนที่คุณจะยอมรับ Shell รันคำสั่งทดสอบและคำสั่งตรวจสอบคงที่ของคุณบนพีซีของคุณ web_search อ่านเอกสาร Solidity ทางการเพื่อยืนยันมาตรฐานล่าสุด การตรวจสอบสัญญาอัจฉริยะ Solidity นี้ใช้ ocr เพื่ออ่านตารางจากภาพหน้าจอ การกรองผลบวกลวงจาก AI ในการตรวจสอบจัดการโดยการยืนยันด้วยมนุษย์
รันการทดสอบ
เอเจนต์ใช้ grep เพื่อค้นหาทุกการเรียกภายนอกและการเปลี่ยนแปลงสถานะทั่วทั้งโปรเจกต์ ดังนั้นมันจึงรู้ว่าจะมองหาปัญหาและตรวจสอบแผนตรงไหนอย่างแน่ชัด ตรวจสอบแผน มันใช้ read_file เพื่ออ่านสัญญาและ list_dir เพื่อค้นหาไฟล์ ตัวอย่างการตรวจสอบสัญญาอัจฉริยะแสดงวิธีที่ write_file และ edit_file เขียนบันทึกผลการค้นพบ คุณตรวจสอบแผนในโหมด Plan only ก่อนรันอะไร Shell รันคำสั่งทดสอบของคุณและบันทึกผลลัพธ์ไปยังไฟล์ข้อความ web_search และ http_get อ่านเอกสาร Solidity ทางการเพื่ออ้างอิง ขั้นตอนถัดไปของการตรวจสอบสัญญาอัจฉริยะคือการยืนยันผลการค้นพบด้วยการทดสอบในเครื่อง
สิ่งที่ Keylatch ไม่ได้ทำ
Keylatch ไม่ใช่บริการโฮสต์หรือปลั๊กอิน; มันออกแบบมาสำหรับไฟล์ของคุณเอง พีซี และเซิร์ฟเวอร์ที่คุณได้รับอนุญาตให้ใช้เท่านั้น — คุณเก็บงานไว้ภายในนั้น เอเจนต์ไม่ได้บังคับขอบเขต; Shell, web และ SSH ไม่ถูกจำกัดด้วยโฟลเดอร์ ไม่มีประกันว่าโค้ด การสแกน หรือการวิเคราะห์จะถูกต้อง เอเจนต์สามารถรายงานผลบวกลวงได้ ดังนั้นผู้ใช้จึงต้องยืนยันหรือยกเลิกผลการค้นพบแต่ละรายการ การก้าวข้ามการวิเคราะห์คงที่ในเวิร์กโฟลว์การตรวจสอบต้องการการตรวจสอบอย่างระมัดระวัง
