{"id":"d2d5a655-af0a-4a44-92eb-091e9fa318a5","shortId":"HpFhzZ","kind":"skill","title":"Mermaid To Proverif","tagline":"Skills skill by Trailofbits","description":"","tags":["mermaid","proverif","skills","trailofbits"],"capabilities":["skill","source-trailofbits","category-skills"],"categories":["skills"],"synonyms":[],"warnings":[],"endpointUrl":"https://skills.sh/trailofbits/skills/mermaid-to-proverif","protocol":"skill","transport":"skills-sh","auth":{"type":"none","details":{"install_from":"skills.sh"}},"qualityScore":"0.300","qualityRationale":"deterministic score 0.30 from registry signals: · indexed on skills.sh · published under trailofbits/skills","verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":"deterministic:skill:v1","enrichmentVersion":1,"enrichedAt":"2026-05-07T22:40:44.456Z","embedding":null,"createdAt":"2026-05-07T20:41:02.923Z","updatedAt":"2026-05-07T22:40:44.456Z","lastSeenAt":"2026-05-07T22:40:44.456Z","tsv":"'category-skills' 'mermaid':1 'proverif':3 'skill':4,5 'source-trailofbits' 'trailofbit':7","prices":[{"id":"7d25249d-3732-4b03-bd8a-b453dfb99ee3","listingId":"d2d5a655-af0a-4a44-92eb-091e9fa318a5","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"skill-free","isPrimary":true,"details":{"org":"trailofbits","category":"skills","install_from":"skills.sh"},"createdAt":"2026-05-07T20:41:02.923Z"}],"sources":[{"listingId":"d2d5a655-af0a-4a44-92eb-091e9fa318a5","source":"skills_sh","sourceId":"trailofbits/skills/mermaid-to-proverif","sourceUrl":"https://skills.sh/trailofbits/skills/mermaid-to-proverif","isPrimary":true,"firstSeenAt":"2026-05-07T20:41:02.923Z","lastSeenAt":"2026-05-07T22:40:44.456Z"}],"details":{"listingId":"d2d5a655-af0a-4a44-92eb-091e9fa318a5","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"org":"trailofbits","slug":"mermaid-to-proverif","source":"skills_sh","category":"skills","skills_sh_url":"https://skills.sh/trailofbits/skills/mermaid-to-proverif"},"updatedAt":"2026-05-07T22:40:44.456Z"}}