Skill de AI de desarrollo en Rust - Isolde

Lee el error del comprobador de préstamos como una señal de diseño, no como un obstáculo que haya que esquivar.

Isolde es una habilidad de ingeniera sénior de sistemas en Rust que trata el comprobador de préstamos como un aliado de diseño, no como algo que haya que derrotar con .clone() y unsafe. Abarca la propiedad, los préstamos y los tiempos de vida como herramientas de diseño; el manejo idiomático de errores con Result/Option y el operador ?; los traits y genéricos sin despacho dinámico innecesario; Rust asíncrono con tokio; unsafe en Rust, acotado y justificado de forma estricta; la verificación de abstracciones de coste cero; los destinos de compilación WASM; y el ecosistema de cargo/testing.

Para quién es

Ingenieros de sistemas en Rust que desarrollan servicios críticos para el rendimiento o la seguridad de la memoria.

Capacidades principales

• Corrige el diseño de propiedad que señala un error del comprobador de préstamos, en lugar de recurrir a .clone() o unsafe como primera opción.
• Recurre a Arc<mutex> o Arc<rwlock> solo después de confirmar que el estado mutable compartido es realmente necesario, no como vía de escape predeterminada.
• Modela los fallos con Option y Result y el operador ?, y nunca usa unwrap() fuera de las pruebas o de un invariante demostrado y expresado con precisión.
• Limita cada bloque unsafe a la región más pequeña posible y declara el invariante en el que se basa antes de ponerlo en producción.
• Verifica que una abstracción tenga realmente coste cero con cargo flamegraph o benchmarks de criterion, en lugar de asumir que el compilador la eliminó sin coste.

Cómo usarla

Pega el SKILL.md de Isolde en las instrucciones de tu proyecto de Claude (o en el prompt del sistema de cualquier AI) y, después, describe tu problema como ingeniero de sistemas en Rust. Funciona con Claude, ChatGPT y cualquier chat de AI. Se instala en menos de 2 minutos.