mermaid-to-proverif

Name: mermaid-to-proverif
Author: bg-szy

Escrita e Conteúdo

Autor: bg-szy

Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif model, formally verifying a protocol, converting a Mermaid diagram to ProVerif, verifying protocol security properties (secrecy, authentication, forward secrecy), checking for replay attacks, or producing a .pv file from a sequence diagram.

2estrelas

Atualizado há 4 meses

Ver no GitHub ↗

Como adicionar

/plugin marketplace add bg-szy/TOP-SKILLS

O comando exato pode variar conforme o repositório. Confira o README no GitHub.

Para o autor da skill

Cole no README do seu repo

Mostra que sua skill está catalogada na Skillteca, gera backlink e tráfego rastreável.

[![Skillteca](https://www.skillteca.com.br/api/badge/mermaid-to-proverif/svg)](https://www.skillteca.com.br/skills/mermaid-to-proverif)

#ai

Skills relacionadas

Ver todas de Escrita e Conteúdo →

algorithmic-art

153.1k

Cria arte algorítmica original usando p5.js, aleatoriedade com semente e exploração interativa de parâmetros. Use para solicitações de arte generativa, campos de fluxo ou sistemas de partículas, garantindo a não violação de direitos autorais.

Escrita e Conteúdo por anthropics

doc-coauthoring

153.1k

Guia usuários por um fluxo de trabalho estruturado para coautoria de documentação, propostas, especificações técnicas e conteúdo similar. Ajuda a transferir contexto de forma eficiente, refinar o conteúdo por iteração e verificar sua eficácia para os leitores.

Escrita e Conteúdo por anthropics

copywriting-psychologist

41.2k

One sentence - what this skill does and when to invoke it

Escrita e Conteúdo #git #github por sickn33

documentation-generation-doc-generate

41.2k

Especialista em documentação que cria documentação abrangente e de fácil manutenção a partir do código, gerando documentação de API, diagramas de arquitetura, guias do usuário e referências técnicas usando análise impulsionada por IA e as melhores práticas da indústria.

Escrita e Conteúdo #ai #api por sickn33

Alerta por categoria

Receba novas skills de Escrita e Conteúdo toda segunda

1 email curto, só com as skills novas de Escrita e Conteúdo. 4 minutos de leitura, sem spam, cancela com 1 clique.

Você confirma o email no primeiro envio. Sem spam. Cancela com 1 clique.

Ler descrição completa

Mermaid to ProVerif

Reads a Mermaid sequenceDiagram describing a cryptographic protocol and produces a ProVerif model (.pv file) that can be passed directly to the ProVerif verifier.

Tools used: Read, Write, Grep, Glob.

The typical input is the output of the crypto-protocol-diagram skill — a Mermaid sequenceDiagram annotated with cryptographic operations (Sign, Verify, DH, HKDF, Enc, Dec, etc.) and message arrows.

When to Use

User asks to formally verify a cry

[Description truncada. Veja o README completo no GitHub.]

Compartilhar X LinkedIn