Del archivo al resultado útil
Cómo pedir trabajo con esta skill instalada
Instalar la skill da un método a tu IA. Tu petición todavía debe aportar los hechos del caso, las restricciones y el entregable esperado.
1Nombra la tarea real
Describe la decisión o el entregable, no solo el tema.
2Aporta la información
Añade materiales, público, límites y hechos conocidos.
3Define qué significa acabado
Fija formato, criterios de calidad y comprobaciones.
Petición inicial adaptable
Sustituye los corchetes por tu caso
Cuándo usarla
- User asks to diagram, visualize, or extract a cryptographic protocol
- Input is source code implementing a handshake, key exchange, or multi-party protocol
- Input is an RFC, academic paper, pseudocode, or formal model (ProVerif/Tamarin)
- User names a specific protocol (TLS, Noise, Signal, X3DH, FROST)
Cuándo no usarla
- User wants a call graph, class hierarchy, or module dependency map — use
diagramming-code - User wants to formally verify a protocol — use
mermaid-to-proverif(after generating the diagram) - Input has no cryptographic protocol semantics (no parties, no message exchange)