← Volver al catálogo
SeguridadAnálisisAvanzadoGratis

Escaner de Vulnerabilidades Cairo/StarkNet

Audita contratos inteligentes Cairo en StarkNet buscando 6 patrones de vulnerabilidad criticos: desbordamiento aritmetico en felt252, problemas de mensajeria L1-L2, conversion de direcciones, replay de firmas y control de acceso. Ideal para auditorias de seguridad pre-lanzamiento en proyectos StarkNet.

Descargar SKILL.md

Descarga abierta · sin registro · para StarkNet, Cairo, Caracal

// resultado_de_ejemplo
Abrir en una pestaña nueva ↗

// qué_hace

Escanea contratos Cairo/StarkNet detectando 6 vulnerabilidades criticas especificas del ecosistema, desde overflow en felt252 hasta fallos en handlers L1.

// cómo_lo_hace

Aplica un flujo estructurado de auditoria con busquedas ripgrep, analisis estatico con Caracal y checklists de verificacion por patron de vulnerabilidad.

// ejemplo_de_uso

Úsala antes de desplegar un contrato Cairo en mainnet de StarkNet para detectar vulnerabilidades específicas del ecosistema. Ej.: el escáner detecta un overflow potencial en un cálculo con felt252 que pasó desapercibido en la revisión manual.

// plataformas

StarkNetCairoCaracal
Categoría
Seguridad
Tipo
Análisis
Nivel
Avanzado
Licencia
CC-BY-SA-4.0
Seguridad
seguro · riesgo bajo
Versión
1.0.0

// opiniones_de_la_comunidad

Opiniones

Cargando opiniones…

// pase_cultiva_ia

Llévate todo el arsenal con el Pase

Todas las skills, prompts y automatizaciones del catálogo en un único archivo, listas para usar: un pago, acceso de por vida y las novedades que añadamos. Sin suscripción.

Pago único · IVA incluido · pago seguro con Stripe.

Acceso inmediato · si no es lo que esperabas, te devolvemos los 10 €.