บริการตรวจสอบความปลอดภัยอัตโนมัติสำหรับซอร์สโค้ดสัญญาอัจฉริยะ นำเสนอในรูปแบบรายงาน PDF บริการนี้ดำเนินการในฐานะเซิร์ฟเวอร์ MCP ระยะไกลที่บริหารจัดการโดย SOKEN LTD
ฟังก์ชันการทำงาน
ท่านสามารถระบุที่อยู่สัญญาที่ถูกติดตั้งใช้งานและชื่อเชน ที่เก็บโค้ดสาธารณะและหมายเลขคอมมิต ไฟล์ซอร์สในการสนทนา หรือโค้ดส่วนตัวผ่านลิงก์อัปโหลดแบบครั้งเดียว เซิร์ฟเวอร์จะตรึงซอร์สที่แน่นอน ทำการบิลด์ในสภาพแวดล้อมแซนด์บ็อกซ์ ดำเนินการวิเคราะห์แบบสแตติก และทำแผนที่จุดเข้า บทบาท การเรียกภายนอก และอำนาจการอัปเกรด เซสชัน AI ไคลเอนต์ของท่านอ่านโค้ดที่ตรึงไว้ผ่านเครื่องมืออ่านอย่างเดียว ยืนยันหรือปฏิเสธแต่ละข้อค้นพบพร้อมการอ้างอิงโค้ด และส่งผลลัพธ์ เซิร์ฟเวอร์บังคับใช้ความสมบูรณ์ของซอร์ส (ปฏิเสธการอ้างอิงที่แตกต่างจากโค้ดที่ตรึงไว้) คำนวณจำนวนและผลรวมทั้งหมด และใช้เมทริกซ์ความรุนแรงที่กำหนดตายตัว ผลลัพธ์คือรายงาน PDF ที่โฮสต์บน soken.dev
ก่อนที่รายงานจะถูกออก ไม่มีเจ้าหน้าที่ของ SOKEN LTD ที่จะอ่านโค้ดหรือข้อค้นพบ นี่คือการตรวจสอบอัตโนมัติ ไม่ใช่การตรวจสอบด้วยตนเอง
วิธีเชื่อมต่อ
เพิ่ม URL ของเซิร์ฟเวอร์ในไคลเอนต์ที่รองรับ MCP:
https://mcp.soken.dev/mcp
ไม่จำเป็นต้องมีการยืนยันตัวตน ขั้นตอนต่อไปนี้ใช้ได้กับไคลเอนต์ MCP ส่วนใหญ่:
- Claude (claude.ai หรือ Claude Code): เพิ่ม URL เป็นเซิร์ฟเวอร์ MCP ระยะไกลในการตั้งค่าเซิร์ฟเวอร์ MCP ของท่าน เครื่องมือจะปรากฏโดยอัตโนมัติในการสนทนาของท่าน
- ChatGPT: เพิ่ม URL ผ่านการกำหนดค่าเซิร์ฟเวอร์ MCP ในการตั้งค่าของท่าน เมื่อเพิ่มแล้ว เครื่องมือตรวจสอบจะพร้อมใช้งานในเซสชันของท่าน
- Cursor: เพิ่ม URL ในไฟล์กำหนดค่าเซิร์ฟเวอร์ MCP ของท่าน เครื่องมือจะพร้อมใช้งานในแผง AI ของโปรแกรมแก้ไขโค้ด
- ไคลเอนต์ MCP อื่น ๆ: ไคลเอนต์ใดก็ตามที่รองรับ Model Context Protocol สามารถเชื่อมต่อโดยใช้ URL ด้านบน โปรดดูเอกสารของไคลเอนต์ของท่านสำหรับรายละเอียดการกำหนดค่า
เมื่อเชื่อมต่อแล้ว ให้เริ่มการตรวจสอบด้วย review_start ติดตามความคืบหน้าด้วย review_status และดึงรายงานที่เสร็จสมบูรณ์ด้วย review_report
เครือข่ายที่รองรับ
- เชน EVM (Ethereum และเครือข่ายที่เข้ากันได้กับ EVM รวมถึง HyperEVM)
- TRON
- Solana
- TON
- Aptos
ขณะนี้ยังไม่รองรับ Starknet และ Sui
ภาษาโปรแกรมที่รองรับ
- Solidity, Vyper (EVM, HyperEVM, TRON)
- Rust: Anchor, native, Pinocchio (Solana)
- FunC, Tact, Tolk (TON)
- Move (Aptos)
ขีดจำกัดการใช้งานที่เป็นธรรม
จำกัดสองรายงานต่อผู้ใช้ต่อวัน สำหรับคำขอที่ส่งผ่านโครงสร้างพื้นฐานของแพลตฟอร์ม AI ที่ใช้ร่วมกัน ขีดจำกัดจะถูกใช้ตามสัญญาที่ถูกตรวจสอบ โดยมีขีดจำกัดรายวันที่ใช้ร่วมกันสำหรับแพลตฟอร์มนั้น
การเผยแพร่
หลังจากรายงานเสร็จสมบูรณ์ ท่านอาจเลือกที่จะเผยแพร่ การเผยแพร่ต้องได้รับความยินยอมอย่างชัดเจนของท่านผ่านเครื่องมือเผยแพร่ รายงานที่เผยแพร่จะถูกทำให้เข้าถึงได้ในคลังรายงานสาธารณะของเราที่ soken.dev/audits และที่เก็บมิเรอร์สาธารณะ พร้อมระบุฉลาก "Automated by SOKEN MCP"
จะมีการรักษารายงานที่เผยแพร่หนึ่งฉบับต่อเป้าหมายที่ตรวจสอบ (ที่อยู่สัญญาเดียวกันบนเชนเดียวกัน หรือที่เก็บโค้ดเดียวกัน) การตรวจสอบที่เผยแพร่ในภายหลังของเป้าหมายเดียวกันจะแทนที่รายงานที่เผยแพร่ก่อนหน้า รายงานที่เผยแพร่จะยังคงเข้าถึงได้สาธารณะจนกว่าจะถูกลบออกภายใต้ นโยบายการลบรายงาน ของเรา
สำหรับรายงานเกี่ยวกับโค้ดที่ท่านไม่ได้เป็นเจ้าของ รายละเอียดการโจมตีของข้อค้นพบระดับ High และ Critical จะถูกระงับในโปรไฟล์สาธารณะจนกว่าเจ้าของโค้ดจะยืนยันความเป็นเจ้าของ
เอกสารทางกฎหมายและนโยบาย
ซอร์สโค้ด
ซอร์สโค้ดของบริการนี้มีให้ที่ github.com/Soken-LTD/contract-review
ติดต่อ
สำหรับการสนับสนุน คำถาม หรือข้อเสนอแนะ: hello@soken.dev