JNSlayer2/campus-lawn-irrigation-playbook
OpenClaw skill and policy reference for campus lawn irrigation scheduling.
OpenClaw skill and policy reference for campus lawn irrigation scheduling.
npx skills add JNSlayer2/campus-lawn-irrigation-playbookOpenClaw skill and policy reference for campus lawn irrigation scheduling.
Remove AI-generated code slop and clean up code style
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.
无剧透看球回放 Claude skill
Agent skill repository for phoslogtokyo-maker/convert-codex-skill.
This skill should be used when the user asks about libraries, frameworks, API references, or needs code examples. Activates for setup questions, code generation involving libraries, or mentions of specific frameworks like React, Vue, Next.js, Prisma, Supabase, etc.
Codex skill and Spark helper agents for long coding tasks