Головна/SOKEN Contract Review

SOKEN Contract Review

Автоматизована перевірка безпеки вихідного коду смарт-контрактів із наданням результату у форматі PDF-звіту. Сервіс функціонує як віддалений MCP-сервер, що його обслуговує SOKEN LTD.

Що робить сервіс

Ви надаєте адресу задеплоєного контракту і мережу, відкритий репозиторій і коміт, вихідні файли у чаті або приватний код через одноразове посилання для завантаження. Сервер фіксує точне джерело, компілює його в ізольованому середовищі, запускає статичний аналіз і відображає точки входу, ролі, зовнішні виклики та повноваження на оновлення. Сесія вашого ШІ-клієнта читає зафіксований код через інструменти лише для читання, підтверджує або відхиляє кожен висновок із цитованими посиланнями на код і надсилає результати. Сервер забезпечує цілісність джерела (відхиляючи цитати, що відрізняються від зафіксованого коду), обчислює всі підрахунки й підсумки та застосовує фіксовану матрицю критичності. Результатом є PDF-звіт, розміщений на soken.dev.

Жодна особа у SOKEN LTD не читає код або висновки до публікації звіту. Це автоматизована перевірка, а не ручний аудит.

Як підключитися

Додайте адресу сервера до будь-якого MCP-сумісного клієнта:

https://mcp.soken.dev/mcp

Аутентифікація не потрібна. Наведені нижче кроки застосовуються до більшості MCP-клієнтів:

  1. Claude (claude.ai або Claude Code): Додайте адресу як віддалений MCP-сервер у налаштуваннях MCP-сервера. Інструменти з'являться автоматично у вашому чаті.
  2. ChatGPT: Додайте адресу через конфігурацію MCP-сервера у своїх налаштуваннях. Після додавання інструменти перевірки будуть доступні у вашій сесії.
  3. Cursor: Додайте адресу у файл конфігурації MCP-сервера. Інструменти будуть доступні на панелі ШІ редактора.
  4. Інші 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)

Ліміти добросовісного використання

Два звіти на користувача на день. Для запитів, що надходять через спільну інфраструктуру платформи штучного інтелекту, ліміт застосовується до кожного перевіреного контракту, а для цієї платформи діє загальна денна квота.

Публікація

Після завершення звіту ви можете обрати його публікацію. Публікація вимагає вашої явної згоди, наданої через інструмент публікації. Опубліковані звіти стають доступними у нашій публічній бібліотеці звітів на soken.dev/audits та у її публічному дзеркальному репозиторії і мають мітку "Automated by SOKEN MCP".

Для кожного перевіреного об'єкта (та сама адреса контракту в тій самій мережі або той самий репозиторій) зберігається один опублікований звіт. Пізніша опублікована перевірка того самого об'єкта замінює попередню. Опубліковані звіти залишаються загальнодоступними до їх видалення відповідно до нашої Політики видалення звітів.

Для звітів щодо коду, який вам не належить, деталі використання вразливостей High і Critical приховуються у публічному профілі до підтвердження власності власником коду.

Вихідний код

Вихідний код цього сервісу доступний на github.com/Soken-LTD/contract-review.

Контакти

Для підтримки, запитань або зворотного зв'язку: hello@soken.dev

soken.dev

Чат