solidity-security
Fortalecer contratos Solidity para seguridad
Los contratos inteligentes fallan por reentrada, desbordamiento y errores de control de acceso. Esta guía de habilidades patrones seguros, verificaciones y pasos de prueba para prevenir vulnerabilidades comunes.
Descargar el ZIP de la skill
Subir en Claude
Ve a Configuración → Capacidades → Skills → Subir skill
Activa y empieza a usar
Pruébalo
Usando "solidity-security". Give me a short security checklist for a Solidity vault contract.
Resultado esperado:
- Confirmar protección de reentrada en retiros y llamadas externas
- Verificar control de acceso en funciones de administrador
- Revisar seguridad de desbordamiento para operaciones aritméticas
- Asegurar validación de entrada para destinatarios y montos
- Revisar emisión de eventos para cambios de estado
Usando "solidity-security". How do I prevent integer overflow in my token contract?
Resultado esperado:
- Solidity 0.8+ tiene protección integrada contra desbordamiento que revierte automáticamente
- Para versiones inferiores a 0.8, usar la biblioteca SafeMath de OpenZeppelin
- Siempre validar entradas antes de operaciones aritméticas
- Usar declaraciones require para verificar límites en transferencias
Usando "solidity-security". What access control patterns should I use for my admin functions?
Resultado esperado:
- Heredar del contrato Ownable de OpenZeppelin para funciones de propietario
- Crear control de acceso basado en roles personalizado con el contrato AccessControl
- Usar modificadores como onlyOwner o onlyAdmin para restringir acceso
- Emitir eventos para todas las acciones privilegiadas para transparencia
Auditoría de seguridad
SeguroPure educational documentation skill containing Solidity security guidance. No code execution, file access, or network capabilities. All 81 static findings are false positives caused by the scanner misidentifying Solidity syntax as security threats (e.g., 'call' as C2, 'keccak256' as weak crypto, markdown code fences as shell backticks).
Factores de riesgo
🌐 Acceso a red (2)
⚡ Contiene scripts (19)
⚙️ Comandos externos (46)
Puntuación de calidad
Lo que puedes crear
Asegurar nuevos contratos
Aplicar patrones seguros mientras se construye lógica de token o bóveda
Preparar notas de auditoría
Generar una lista de verificación de riesgos comunes de Solidity para revisar
Reducir riesgo de lanzamiento
Identificar brechas de seguridad antes de un despliegue público
Prueba estos prompts
Enumera los principales riesgos de seguridad para un token ERC20 simple y los patrones seguros que debo seguir.
Revisa mi flujo de retiro y explica cómo aplicar checks-effects-interactions y ReentrancyGuard.
Sugiere un enfoque commit-reveal para reducir front-running en una función de swap.
Crea una lista de verificación de seguridad concisa para un contrato DeFi de lending con control de seguridad, seguridad matemática y llamadas externas.
Mejores prácticas
- Usar el patrón checks-effects-interactions para todas las llamadas externas
- Preferir pagos pull sobre pagos push para distribución
- Fijar versiones de Solidity y documentar suposiciones claramente
Evitar
- Usar tx.origin para autenticación
- Llamadas de bajo nivel sin verificar valores de retorno
- Delegatecall a contratos no confiables
Preguntas frecuentes
¿Es esto compatible con mi versión de Solidity?
¿Audita mi código automáticamente?
¿Puede integrarse con Slither o Mythril?
¿Se envían mis datos a algún lugar?
¿Qué pasa si mi contrato usa patrones de proxy?
¿Cómo se compara con una auditoría real?
Detalles del desarrollador
Autor
wshobsonLicencia
MIT
Repositorio
https://github.com/wshobson/agents/tree/main/plugins/blockchain-web3/skills/solidity-securityRef.
main
Estructura de archivos
📄 SKILL.md