Operations
1,694 rows, by stacks then stars
525 of these skill files have been read, by 483 distinct authors, and what they tell an agent counted. What Operations authors agree on, and what they forbid
r-irbe/proof-skills/skills/lean-doc-improvement Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-doc-requirements Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-enforcement Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-gateway Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-integration-protocol Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-knowledge-formalization Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-math-analysis Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-math-discrete Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-math-dynamical Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-math-foundations Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-math-optimization Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-math-stochastic Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-nested-learning Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-package-research Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-proof-review Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-quality-engine Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-report Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-research-types Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-research Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-retro-methodology Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-retroactive-audit Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-review-council Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-security-formalization Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-specification Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-tautology-triage Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/lean-zettelkasten Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
r-irbe/proof-skills/skills/math-project-management Skill
2★ repoAPM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
thienhoc/dwi-by-thienhoc/modules/dwi-lean Skill
2★ repoA modular human layer that helps reduce overplanning, token waste, context loss, and actions taken without clear permission.
TeamDzX/myllm-skills/skills/meeting-notes Skill
2★ repoCurated open Agent-Skill format skills for MyLLM (the on-device iOS AI agent). Install with /skill add teamdzx/myllm-skills.
mrDesign-ww/vault-os/shell/claude/skills/pm-skills Skill
2★ repoAn installable Claude Code + Obsidian companion system: persistent wiki-memory, curated skills/agents, isolated zones, and a self-improvement loop.
mrDesign-ww/vault-os/shell/claude/skills/senior-pm Skill
2★ repoAn installable Claude Code + Obsidian companion system: persistent wiki-memory, curated skills/agents, isolated zones, and a self-improvement loop.
jjw013/tech-debt-skill/agents/technical-writer Skill
2★ repoHarness agnostic skill pack for AI coding agents that audits codebases for technical debt across ten categories
Solonnikov/agent-skills/skills/meeting-notes-structure Skill
no license2★ repoPublic collection of agent skills — reusable capabilities, prompts, and workflows for Claude Code and other agentic coding tools.
First 90 days demand gen revops
modest-curator478/claude-skills/revops/first-90-days-demand-gen-revops Skill
2★ repoBuild Claude skills for B2B demand gen, RevOps, and marketing leaders to improve HubSpot, ABM, pipeline, and sales alignment
rikitrader/glaw/inventory Skill
no license2★ repoGLAW — self-contained open-source virtual law firm AI agent skill. 10 departments · 179 source skills · 63 vendored seats · 177 mirrored commands · hard-gated matter pipeline · fraud dossiers · source-first bookkeeping with Google Sheets input + OCR orchestration. Attorney work-product, not legal advice.
Pyfagorass/bookofspells/skills/commandcode/aws-cost-operations Skill
no license2★ repo📖 The Book of Spells: a curated, enchanted index of real LLM tooling — and a pipeline that gathers SKILL.md skills from many houses into one searchable shelf.
Pyfagorass/bookofspells/skills/githubcopilot/typespec-api-operations Skill
no license2★ repo📖 The Book of Spells: a curated, enchanted index of real LLM tooling — and a pipeline that gathers SKILL.md skills from many houses into one searchable shelf.
Pyfagorass/bookofspells/skills/gworkspace/persona-project-manager Skill
no license2★ repo📖 The Book of Spells: a curated, enchanted index of real LLM tooling — and a pipeline that gathers SKILL.md skills from many houses into one searchable shelf.
MadewellRD/skills-lab/dist/skills/cloud-infrastructure-command-desk/tagging-inventory-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/skills/customer-success-command-desk/stakeholder-mapping-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
People operations records desk
MadewellRD/skills-lab/dist/skills/people-talent-command-desk/people-operations-records-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
Platform support operations desk
MadewellRD/skills-lab/dist/skills/platform-engineering-command-desk/platform-support-operations-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/skills/privacy-data-protection-command-desk/data-inventory-mapping-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
Processor vendor agreement desk
MadewellRD/skills-lab/dist/skills/privacy-data-protection-command-desk/processor-vendor-agreement-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/skills/procurement-vendor-management-command-desk/procurement-policy-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
Procurement vendor management command desk
MadewellRD/skills-lab/dist/skills/procurement-vendor-management-command-desk/procurement-vendor-management-command-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/skills/procurement-vendor-management-command-desk/vendor-offboarding-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
Vendor onboarding provisioning desk
MadewellRD/skills-lab/dist/skills/procurement-vendor-management-command-desk/vendor-onboarding-provisioning-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/skills/procurement-vendor-management-command-desk/vendor-risk-tiering-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/skills/sdlc-command-desk/decommissioning-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/skills/sdlc-command-desk/incident-response-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/skills/sdlc-command-desk/release-operations-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/skills/security-command-desk/attack-surface-inventory-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/skills/security-command-desk/security-command-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/skills/security-command-desk/vendor-security-review-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/skills/web-development-command-desk/cms-content-operations-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/vendor/anthropic/cloud-infrastructure-command-desk/tagging-inventory-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
MadewellRD/skills-lab/dist/vendor/anthropic/customer-success-command-desk/stakeholder-mapping-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
People operations records desk
MadewellRD/skills-lab/dist/vendor/anthropic/people-talent-command-desk/people-operations-records-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.
Platform support operations desk
MadewellRD/skills-lab/dist/vendor/anthropic/platform-engineering-command-desk/platform-support-operations-desk Skill
2★ repoVendor-agnostic agent skill suites for the software lifecycle, web, AI engineering, product, sales, and mobile. Capability assumptions live in one versioned profile, so each new frontier LLM ships as a rebuild instead of a manual pass over every skill.