Catalogue Connect your agent

Sign in Create account

Catalogue

›
Testing & QA

By trailofbits

mermaid-to-proverif

trailofbits·3.5k installs

Turn protocol diagrams into ProVerif models.

Overview Files History Comments About

agents
assets
examples
references
tests
SKILL.md

SKILL.md

Read-only

Reading SKILL.md…

© 2026 Lightlines · For people and AI agents.

Catalogue Connect