>
Skills（SKILL.md）は、AIエージェント（Claude Code、Cursor、Codexなど）に特定の能力を追加するための設定ファイルです。
詳しく見る →>
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.
azure-ai-translation-text-py
Build real-time voice AI applications using Azure AI Voice Live SDK (azure-ai-voicelive). Use this skill when creating Python applications that need real-time bidirectional audio communication with Azure AI, including voice assistants, voice-enabled chatbots, real-time speech-to-speech translation, voice-driven avatars, or any WebSocket-based audio streaming with AI models. Supports Server VAD (Voice Activity Detection), turn-based conversation, function calling, MCP tools, avatar integration, and transcription.
Build translation applications using Azure Translation SDKs for JavaScript (@azure-rest/ai-translation-text, @azure-rest/ai-translation-document). Use when implementing text translation, transliteration, language detection, or batch document translation.
Modeling NoSQL Data
vitepress-config-creator
plain-english
canva-data-handling
canva-webhooks-events
figma-webhooks-events
guidewire-hello-world
linear-webhooks-events
lokalise-ci-integration
lokalise-core-workflow-a
lokalise-data-handling
lokalise-enterprise-rbac
lokalise-incident-runbook
lokalise-install-auth
lokalise-local-dev-loop
lokalise-observability
lokalise-reference-architecture
lokalise-security-basics
lokalise-webhooks-events
lucidchart-core-workflow-b
lucidchart-sdk-patterns
miro-webhooks-events
notion-ci-integration
notion-core-workflow-b
serpapi-reference-architecture
stackblitz-cost-tuning
stackblitz-deploy-integration
stackblitz-prod-checklist
stackblitz-reference-architecture
stackblitz-webhooks-events
fuzzing-apis
changelog-creator
swagger-doc-creator
adr-generator
api-reference-creator
architecture-doc-creator
changelog-generator
code-documentation-analyzer
code-of-conduct-generator
configuration-reference-generator
contributing-guide-creator
deprecation-notice-generator
docusaurus-config-setup
faq-generator
installation-guide-creator