Una revisione della sicurezza automatizzata del codice sorgente di smart contract, consegnata come report PDF. Il servizio funziona come server MCP remoto gestito da SOKEN LTD.
Funzionamento
L'utente fornisce un indirizzo di contratto distribuito e la relativa catena, un repository pubblico e un commit, file sorgente nella conversazione o codice privato tramite un link di caricamento monouso. Il server fissa la fonte esatta, la compila in un ambiente sandbox, esegue l'analisi statica e mappa i punti di ingresso, i ruoli, le chiamate esterne e le autorizzazioni di aggiornamento. La sessione client IA legge il codice fissato tramite strumenti di sola lettura, conferma o respinge ogni rilevamento con riferimenti al codice citato e invia i risultati. Il server verifica l'integrità della fonte (rifiutando le citazioni che differiscono dal codice fissato), calcola tutti i conteggi e i totali, e applica una matrice di gravità fissa. Il risultato è un report PDF ospitato su soken.dev.
Nessun membro di SOKEN LTD legge il codice o i rilevamenti prima dell'emissione del report. Si tratta di una revisione automatizzata, non di un audit manuale.
Come connettersi
Aggiungere l'URL del server a qualsiasi client compatibile MCP:
https://mcp.soken.dev/mcp
Non è richiesta alcuna autenticazione. I seguenti passaggi si applicano alla maggior parte dei client MCP:
- Claude (claude.ai or Claude Code): Aggiungere l'URL come server MCP remoto nelle impostazioni del server MCP. Gli strumenti appariranno automaticamente nella conversazione.
- ChatGPT: Aggiungere l'URL tramite la configurazione del server MCP nelle impostazioni. Una volta aggiunto, gli strumenti di revisione saranno disponibili nella sessione.
- Cursor: Aggiungere l'URL nel file di configurazione del server MCP. Gli strumenti saranno disponibili nel pannello IA dell'editor.
- Other MCP clients: Qualsiasi client che supporta il Model Context Protocol può connettersi utilizzando l'URL indicato. Consultare la documentazione del client per i dettagli di configurazione.
Una volta connessi, avviare una revisione con review_start, monitorare il progresso con review_status e recuperare il report completato con review_report.
Reti supportate
- Catene EVM (Ethereum e reti compatibili con EVM, inclusa HyperEVM)
- TRON
- Solana
- TON
- Aptos
Starknet e Sui non sono attualmente supportati.
Linguaggi supportati
- Solidity, Vyper (EVM, HyperEVM, TRON)
- Rust: Anchor, native, Pinocchio (Solana)
- FunC, Tact, Tolk (TON)
- Move (Aptos)
Limiti di utilizzo equo
Due report per utente al giorno. Per le richieste inoltrate tramite infrastruttura di piattaforma IA condivisa, il limite viene applicato per contratto revisionato, con un limite giornaliero condiviso per quella piattaforma.
Pubblicazione
Dopo il completamento di un report, è possibile scegliere di pubblicarlo. La pubblicazione richiede il consenso esplicito dell'utente, fornito tramite lo strumento di pubblicazione. I report pubblicati vengono resi disponibili nella nostra biblioteca pubblica di report su soken.dev/audits e nel relativo repository mirror pubblico, e recano l'etichetta "Automated by SOKEN MCP".
Viene mantenuto un solo report pubblicato per obiettivo revisionato (stesso indirizzo di contratto sulla stessa catena, o stesso repository). Una revisione pubblicata successiva dello stesso obiettivo sostituisce la precedente. I report pubblicati rimangono accessibili al pubblico fino alla rimozione ai sensi della nostra Politica di rimozione dei report.
Per i report su codice di cui non si è proprietari, i dettagli di sfruttamento dei rilevamenti di gravità Alta e Critica vengono trattenuti nel profilo pubblico fino a quando il proprietario del codice non verifica la proprietà.
Documenti legali e normativi
- Termini di utilizzo
- Informativa sulla privacy
- Politica di rimozione dei report
- Politica di divulgazione responsabile
Codice sorgente
Il codice sorgente di questo servizio è disponibile su github.com/Soken-LTD/contract-review.
Contatti
Per assistenza, domande o feedback: hello@soken.dev