Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files).
Sign and verify Ethereum messages with Nethereum.
⚠️ AUTHORIZED USE ONLY > This skill is for educational purposes or authorized security assessments only. > You must have explicit, written…
Manage secrets using Azure Key Vault Secrets SDK for JavaScript (@azure/keyvault-secrets).
ALWAYS USE when asked to migrate, replace, or make testable existing C# static calls with a named wrapper or built-in abstraction…
Configure Mistral AI enterprise access control and workspace management.
Execute mobile app testing on iOS and Android devices/simulators.
Monitors Modbus TCP traffic on SCADA and ICS networks to detect anomalous
Enforces mortgage regulatory compliance — TRID, RESPA, TILA, ECOA/Fair Lending, state licensing, required disclosures, and data privacy…
How to write benchmarks in Motoko using bench‑helper.
Migrate MSTest v1 or v2 test project to MSTest v3.
Performs multi-agent parallel requirement reviews across completeness, consistency, and testability dimensions using five role-based…
Unified cloud security posture management across AWS, Azure, and GCP with normalized metrics and CIS benchmark comparison
Use at the START of any bug bounty hunting session, when switching targets, or when feeling lost about what to do next.
Configures mewt or muton mutation testing campaigns — scopes targets, tunes timeouts, and optimizes long-running runs.
Run Stryker mutation testing on a single source file and return a structured, token-frugal report that's pipeable to a follow-up…
Use whenever auth, API keys, OAuth, tokens, secrets, or credential setup appears in n8n work.
Use when choosing native or multi-LLM handling for init, review, or security requests
Use when validating production readiness for a Navan API integration\
Web fuzzing with ffuf
Use when hardening a plan, spec, design, resume, or codebase before an expensive or hard-to-reverse commitment, or when asked to "red team…