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 formally verify a cryptographic protocol described as a Mermaid sequenceDiagram
- User wants to generate a ProVerif model (.pv file) from a protocol diagram
- User wants to prove secrecy, authentication, or forward secrecy properties
- Input is the output of the
crypto-protocol-diagramskill
Cuándo no usarla
- No Mermaid sequenceDiagram exists yet — use
crypto-protocol-diagramfirst to generate one - User wants to verify properties of non-cryptographic systems (state machines, access control)
- User wants to run ProVerif on an existing .pv file — just run
proverif model.pvdirectly