Accueil/SOKEN Contract Review

SOKEN Contract Review

Un examen de sécurité automatisé du code source de contrats intelligents, livré sous forme de rapport PDF. Le service fonctionne comme serveur MCP distant opéré par SOKEN LTD.

Fonctionnement

Vous fournissez une adresse de contrat déployé et sa chaîne, un dépôt public et un commit, des fichiers sources dans la conversation, ou du code privé via un lien de téléversement à usage unique. Le serveur fixe la source exacte, la compile dans un environnement bac à sable (sandbox), exécute l'analyse statique et répertorie les points d'entrée, les rôles, les appels externes et les autorisations de mise à niveau. Votre session client IA lit le code fixé via des outils en lecture seule, confirme ou rejette chaque constat avec des références au code cité, et soumet les résultats. Le serveur applique l'intégrité de la source (en rejetant les citations qui diffèrent du code fixé), calcule tous les dénombrements et totaux, et applique une matrice de gravité fixe. Le résultat est un rapport PDF hébergé sur soken.dev.

Aucune personne de SOKEN LTD ne lit le code ni les constats avant l'émission du rapport. Il s'agit d'un examen automatisé, et non d'un audit manuel.

Comment se connecter

Ajoutez l'URL du serveur à tout client compatible MCP :

https://mcp.soken.dev/mcp

Aucune authentification n'est requise. Les étapes suivantes s'appliquent à la plupart des clients MCP :

  1. Claude (claude.ai or Claude Code) : Ajoutez l'URL en tant que serveur MCP distant dans vos paramètres de serveur MCP. Les outils apparaîtront automatiquement dans votre conversation.
  2. ChatGPT : Ajoutez l'URL via la configuration du serveur MCP dans vos paramètres. Une fois ajoutés, les outils d'examen seront disponibles dans votre session.
  3. Cursor : Ajoutez l'URL dans votre fichier de configuration du serveur MCP. Les outils seront disponibles dans le panneau IA de votre éditeur.
  4. Other MCP clients : Tout client prenant en charge le Model Context Protocol peut se connecter en utilisant l'URL ci-dessus. Consultez la documentation de votre client pour les détails de configuration.

Une fois connecté, démarrez un examen avec review_start, suivez la progression avec review_status et récupérez le rapport terminé avec review_report.

Réseaux pris en charge

  • Chaînes EVM (Ethereum et réseaux compatibles EVM, y compris HyperEVM)
  • TRON
  • Solana
  • TON
  • Aptos

Starknet et Sui ne sont pas pris en charge pour le moment.

Langages pris en charge

  • Solidity, Vyper (EVM, HyperEVM, TRON)
  • Rust : Anchor, native, Pinocchio (Solana)
  • FunC, Tact, Tolk (TON)
  • Move (Aptos)

Limites d'utilisation équitable

Deux rapports par utilisateur et par jour. Pour les demandes relayées via une infrastructure de plateforme IA partagée, la limite est appliquée par contrat examiné, avec un plafond journalier partagé pour cette plateforme.

Publication

Après la génération d'un rapport, vous pouvez choisir de le publier. La publication nécessite votre consentement explicite, fourni via l'outil de publication. Les rapports publiés sont mis à disposition dans notre bibliothèque publique de rapports sur soken.dev/audits et son dépôt miroir public, et portent la mention "Automated by SOKEN MCP".

Un seul rapport publié est maintenu par cible examinée (même adresse de contrat sur la même chaîne, ou même dépôt). Un examen publié ultérieur de la même cible remplace le précédent. Les rapports publiés restent accessibles au public jusqu'à leur suppression conformément à notre Politique de suppression des rapports.

Pour les rapports portant sur du code dont vous n'êtes pas propriétaire, les détails d'exploitation des constats de gravité Haute et Critique sont retenus dans le profil public jusqu'à ce que le propriétaire du code vérifie sa propriété.

Code source

Le code source de ce service est disponible sur github.com/Soken-LTD/contract-review.

Contact

Pour le support, les questions ou les commentaires : hello@soken.dev

soken.dev

Chat