henrikkvamme/dokploy-claude-plugin
Dokploy operations for Claude Code - skill plugin
Dokploy operations for Claude Code - skill plugin
npx skills add henrikkvamme/dokploy-claude-pluginDokploy operations for Claude Code - skill plugin
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.
for learn agent skill
Agent Skills Marketplace — 11,997 open-source agent skills for the SKILL.md ecosystem
codex-skills-sync
基于 MySQL 官方文档及其他公开资料，借助 AI Agent 辅助整理的 MySQL 知识蒸馏库，面向机制理解、面试复习与 Obsidian 阅读。
Open-source honeypot for MCP (Model Context Protocol) servers. Collects threat intel on attacks against the AI agent ecosystem.