סקירת אבטחה אוטומטית של קוד מקור לחוזים חכמים, המועברת כדוח PDF. השירות פועל כשרת MCP מרוחק המופעל על ידי SOKEN LTD.
מה השירות עושה
אתה מספק כתובת חוזה פרוס ורשת, מאגר ציבורי ו-commit, קובצי מקור בשיחה, או קוד פרטי דרך קישור העלאה חד-פעמי. השרת מצמיד את המקור המדויק, בונה אותו בסביבה מבודדת, מריץ ניתוח סטטי, ומסרטט נקודות כניסה, תפקידים, קריאות חיצוניות וסמכות שדרוג. סשן לקוח ה-AI שלך קורא את הקוד המצומד דרך כלים לקריאה בלבד, מאשר או דוחה כל ממצא עם הפניות קוד מצוטטות, ומגיש את התוצאות. השרת אוכף שלמות מקור (דוחה ציטוטים השונים מהקוד המצומד), מחשב את כל הספירות והסכומים, ומיישם מטריצת חומרה קבועה. הפלט הוא דוח PDF המתארח ב-soken.dev.
אף אדם ב-SOKEN LTD אינו קורא את הקוד או את הממצאים לפני הוצאת הדוח. זוהי סקירה אוטומטית, לא ביקורת ידנית.
כיצד להתחבר
הוסף את כתובת השרת לכל לקוח התואם ל-MCP:
https://mcp.soken.dev/mcp
אין צורך באימות. השלבים הבאים חלים על רוב לקוחות MCP:
- Claude (claude.ai או Claude Code): הוסף את הכתובת כשרת MCP מרוחק בהגדרות שרת MCP שלך. הכלים יופיעו אוטומטית בשיחה שלך.
- ChatGPT: הוסף את הכתובת דרך תצורת שרת MCP בהגדרות שלך. לאחר ההוספה, כלי הסקירה יהיו זמינים בסשן שלך.
- Cursor: הוסף את הכתובת בקובץ תצורת שרת MCP שלך. הכלים יהיו זמינים בלוח ה-AI של העורך.
- לקוחות MCP אחרים: כל לקוח התומך ב-Model Context Protocol יכול להתחבר באמצעות הכתובת לעיל. עיין בתיעוד הלקוח שלך לפרטי תצורה.
לאחר החיבור, התחל סקירה עם 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