Mermaid To Proverif
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)...
概要
Mermaid To Proverif is a SKILL.md-based agent skill sourced from trailofbits/skills. It is categorized under security and is listed for Claude Code, Claude. The source description focuses on: 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 se... AIToolly summarizes this page as a directory entry rather than copying the full third-party skill content, so users can evaluate the source, compatibility, and practical fit before installing it.
ユースケース
導入方法
# Review source first
open https://github.com/trailofbits/skills/blob/main/plugins/trailmark/skills/mermaid-to-proverif/SKILL.mdCopy or clone the skill folder into your agent skills directory after reviewing its instructions and scripts.
セキュリティ
Review the source SKILL.md, referenced scripts, permissions, and external services before installing Mermaid To Proverif. Treat third-party skills like code dependencies, especially when they can read files, call APIs, or run commands.
関連Skills
Cargo Fuzz
trailofbits/skills
cargo-fuzzは、Cargoを使用するRustプロジェクトにおける事実上の標準的なファジングツールです。libFuzzerバックエンドを使用したRustコードのファジングに使用します。
Yara Rule Authoring
trailofbits/skills
マルウェア識別のための高品質な YARA-X 検知ルールの作成をガイドします。YARA ルールの記述、レビュー、または最適化時に使用します。命名規則、文字列の選択、パフォーマンスの最適化、レガシーな YARA からの移行、および誤検知の削減をカバーしています。トリガー：YARA、YARA-X、malware detection、threat hunting、IOC、signature、crx module、dex module。
Agentforce D360 Analyze
forcedotcom/sf-skills
単一の Agentforce セッションの Data Cloud 360° ビュー。ユーザーがセッション ID（Agent Session UUID `019d…` または MessagingSession ID `0Mw…`）によって特定の Agentforce セッションの追跡、検査、要約、または説明を求めたときに TRIGGER。また、ユーザーがまだセッション ID を持っていない場合に、時間、エージェント、チャネル、結果、または会話テキストによるセッションの検出（検索、一覧表示、探索）でもトリガーされます。設計時のアーキテクチャに関する質問（代わりに agentforce-architecture-analyze を使用）や、ランタイムのパフォーマンス/l については NOT TRIGGER。
Security Audit
TerminalSkills/skills
OWASP Top 10の脆弱性スキャン、既知のCVEに関する依存関係のチェック、流出したシークレットやAPIキーの検出を行い、優先順位付けされた修正案を生成することで、コードベースの包括的なセキュリティ監査を実行します。このスキルは、静的解析パターンと依存関係監査ツールを組み合わせています。