- LÓGICA
- INTERFAZ
- ESTADO
- HUMANO
Respuesta rápida
¿Cómo puedo usar la IA para auditar contratos inteligentes?
Tu IA extrae el código fuente verificado y el ABI desde BscScan para inspeccionar la lógica y las firmas de las funciones. Luego, comprueba el estado de ejecución del contrato para detectar discrepancias. Obtendrás un desglose técnico del comportamiento del contrato y sus posibles vulnerabilidades.
Donde se centralizan los hallazgos.
Resultados de la auditoría
La IA organiza sus hallazgos en estas categorías específicas.
LÓGICA
Vulnerabilidades de código
La IA inspecciona el código fuente en busca de patrones comunes como reentrancia o desbordamiento de enteros. Recibirás una lista de las líneas exactas donde falla la lógica.
INTERFAZ
Verificación de ABI
El agente compara el ABI con el código fuente para asegurar que las firmas de las funciones coincidan. Esto confirma que el contrato interactúa según lo previsto.
ESTADO
Estado de ejecución
La IA extrae datos de ejecuciones recientes para ver si las funciones fallan o se comportan de forma errática. Esto resalta problemas de ejecución en tiempo real.
HUMANO
Revisión manual
La IA señala la lógica compleja que requiere la verificación de un experto humano. Tú decides qué secciones de alto riesgo necesitan un análisis más profundo.
El flujo
Lo que hace tu IA al recibir la dirección del contrato.
La IA utiliza las herramientas de BscScan para construir un perfil técnico completo del objetivo.
Obtener código fuente
El agente extrae el código Solidity verificado directamente del explorador de blockchain para ver exactamente qué se está ejecutando en la red.
get_contract_source_codeRecuperar ABI
Obtiene la Interfaz de Aplicación Binaria para entender cómo interactuar con las funciones del contrato.
get_contract_abiComprobar ejecución
La IA analiza el estado actual del contrato para observar cómo gestiona las transacciones recientes.
get_contract_execution_statusAnalizar lógica
Usando el código y el ABI obtenidos, el agente identifica posibles fallos de seguridad o patrones ineficientes.
get_contract_source_codeget_contract_abi
Pruébalo
Copia estos ejemplos para empezar.
Usa estos prompts para iniciar tu análisis técnico.
Puntos de partida
Sustituye las direcciones de los contratos en estos prompts por las que quieras auditar.
BscScan Connector
Todo listo. Elige tu cliente MCP y sigue las instrucciones de configuración.
https://edge.vinkius.com/vk_preview_dOn3KNl45KjoLzcCYrgxeSG2gGMGvMWaMid8dpVO/mcpClaude Desktop
Sigue los pasos siguientes para conectarte en segundos.
- 1In Claude Desktop, open Settings → Connectors.
- 2Click “Add custom connector” and paste the connector link above as the remote MCP server URL.
- 3Click Add and start a new chat — BscScan capabilities are ready to use.
{
"mcpServers": {
"bscscan-bnb-chain-explorer-mcp": {
"url": "https://edge.vinkius.com/vk_preview_dOn3KNl45KjoLzcCYrgxeSG2gGMGvMWaMid8dpVO/mcp"
}
}
}Extrae el código fuente y el ABI de 0x123...abc y busca riesgos de reentrancia.
Obtén el ABI de 0x456...def y explica las firmas de las funciones.
Comprueba el estado de ejecución de 0x789...ghi para ver si las llamadas recientes están fallando.
Analiza el código fuente de 0xabc...123 y busca errores de lógica en la función de transferencia.
Claude
ChatGPT
Cursor
VS Code
Windsurf
Claude Code
JetBrains
Cline
Empieza aquí
Conecta BscScan una vez y empieza a preguntar.
Conecta tu cuenta con un solo clic. Tus credenciales permanecen cifradas y podrás empezar de inmediato a preguntar a tu IA sobre cualquier contrato en la BNB Chain.
Conectar BscScan a tu IAFAQ
Funcionamiento de la tarea de auditoría
- 01
¿Puede la IA corregir el código del contrato inteligente?
No. La IA puede sugerir cambios o identificar errores, pero no puede escribir ni desplegar código directamente en la blockchain.
- 02
¿Es necesario que yo suba el código?
No. Siempre que el contrato esté verificado en BscScan, la IA extraerá el código por sí misma usando el conector.
- 03
¿Puede la IA ejecutar transacciones?
No. Este conector sirve para leer datos y analizar código, no para enviar transacciones o interactuar con la red.
- 04
¿Qué ocurre si el contrato no está verificado?
Si el código fuente no está verificado en BscScan, la IA no podrá extraerlo para realizar el análisis.
- 05
¿Puede la IA realizar una verificación formal completa?
No. La IA ofrece análisis técnicos y detección de patrones, pero la verificación formal requiere herramientas matemáticas especializadas y supervisión humana.
¿Tienes más dudas sobre BscScan? Ver todas las funciones del conector de BscScan
Conecta BscScan a Claude, Cursor, ChatGPT y más
