LeeKangRyong/lkr-claude-skills
custom-made claude code skill lists
custom-made claude code skill lists
npx skills add LeeKangRyong/lkr-claude-skillscustom-made claude code skill lists
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.
Reusable AI agent skills, project templates, and guardrails for safer software maintenance and delivery.
从 Codex JSONL rollout 文件中提取上下文，生成结构化交接报告，让接手的 Agent 快速恢复工作状态
Claude Code plugin for AgentLint — real-time quality guardrails for AI coding agents
Recently updated agent-skill-related GitHub repository: keny4nn/claude-skills.
Claude Code skill that automates Fishing Frenzy gameplay as an installable agent workflow.