agentsclimarketplace

Operations

1,701 rows, by stacks then stars

  • Lean bisect

    r-irbe/proof-skills/skills/_overrides/lean-bisect Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean build

    r-irbe/proof-skills/skills/_overrides/lean-build Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean mwe

    r-irbe/proof-skills/skills/_overrides/lean-mwe Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean pr

    r-irbe/proof-skills/skills/_overrides/lean-pr Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean proof

    r-irbe/proof-skills/skills/_overrides/lean-proof Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean setup

    r-irbe/proof-skills/skills/_overrides/lean-setup Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean ai formalization

    r-irbe/proof-skills/skills/lean-ai-formalization Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean applied reasoning

    r-irbe/proof-skills/skills/lean-applied-reasoning Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean blueprint

    r-irbe/proof-skills/skills/lean-blueprint Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean causal reasoning

    r-irbe/proof-skills/skills/lean-causal-reasoning Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean competitive math

    r-irbe/proof-skills/skills/lean-competitive-math Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean doc feedback

    r-irbe/proof-skills/skills/lean-doc-feedback Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean doc improvement

    r-irbe/proof-skills/skills/lean-doc-improvement Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean doc requirements

    r-irbe/proof-skills/skills/lean-doc-requirements Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean enforcement

    r-irbe/proof-skills/skills/lean-enforcement Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean gateway

    r-irbe/proof-skills/skills/lean-gateway Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean integration protocol

    r-irbe/proof-skills/skills/lean-integration-protocol Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean knowledge formalization

    r-irbe/proof-skills/skills/lean-knowledge-formalization Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean math analysis

    r-irbe/proof-skills/skills/lean-math-analysis Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean math discrete

    r-irbe/proof-skills/skills/lean-math-discrete Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean math dynamical

    r-irbe/proof-skills/skills/lean-math-dynamical Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean math foundations

    r-irbe/proof-skills/skills/lean-math-foundations Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean math optimization

    r-irbe/proof-skills/skills/lean-math-optimization Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean math stochastic

    r-irbe/proof-skills/skills/lean-math-stochastic Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean nested learning

    r-irbe/proof-skills/skills/lean-nested-learning Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean package research

    r-irbe/proof-skills/skills/lean-package-research Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean proof review

    r-irbe/proof-skills/skills/lean-proof-review Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean quality engine

    r-irbe/proof-skills/skills/lean-quality-engine Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean report

    r-irbe/proof-skills/skills/lean-report Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean research types

    r-irbe/proof-skills/skills/lean-research-types Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean research

    r-irbe/proof-skills/skills/lean-research Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean retro methodology

    r-irbe/proof-skills/skills/lean-retro-methodology Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean retroactive audit

    r-irbe/proof-skills/skills/lean-retroactive-audit Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean review council

    r-irbe/proof-skills/skills/lean-review-council Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean security formalization

    r-irbe/proof-skills/skills/lean-security-formalization Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean specification

    r-irbe/proof-skills/skills/lean-specification Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean tautology triage

    r-irbe/proof-skills/skills/lean-tautology-triage Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Lean zettelkasten

    r-irbe/proof-skills/skills/lean-zettelkasten Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Math project management

    r-irbe/proof-skills/skills/math-project-management Skill

    2★ repo

    APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

  • Dwi lean

    thienhoc/dwi-by-thienhoc/modules/dwi-lean Skill

    13 days old2★ repo

    A modular human layer that helps reduce overplanning, token waste, context loss, and actions taken without clear permission.

  • Meeting notes

    TeamDzX/myllm-skills/skills/meeting-notes Skill

    2★ repo

    Curated open Agent-Skill format skills for MyLLM (the on-device iOS AI agent). Install with /skill add teamdzx/myllm-skills.

  • Pm skills

    mrDesign-ww/vault-os/shell/claude/skills/pm-skills Skill

    28 days old2★ repo

    An installable Claude Code + Obsidian companion system: persistent wiki-memory, curated skills/agents, isolated zones, and a self-improvement loop.

  • Senior pm

    mrDesign-ww/vault-os/shell/claude/skills/senior-pm Skill

    28 days old2★ repo

    An installable Claude Code + Obsidian companion system: persistent wiki-memory, curated skills/agents, isolated zones, and a self-improvement loop.

  • Technical writer

    jjw013/tech-debt-skill/agents/technical-writer Skill

    2★ repo

    Harness agnostic skill pack for AI coding agents that audits codebases for technical debt across ten categories

  • Meeting notes structure

    Solonnikov/agent-skills/skills/meeting-notes-structure Skill

    no license2★ repo

    Public 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★ repo

    Build Claude skills for B2B demand gen, RevOps, and marketing leaders to improve HubSpot, ABM, pipeline, and sales alignment

  • Inventory

    rikitrader/glaw/inventory Skill

    no license2★ repo

    GLAW — 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.

  • Aws cost operations

    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.

  • Typespec api operations

    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.

  • Persona project manager

    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.

  • Tagging inventory desk

    MadewellRD/skills-lab/dist/skills/cloud-infrastructure-command-desk/tagging-inventory-desk Skill

    2★ repo

    Vendor-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.

  • Stakeholder mapping desk

    MadewellRD/skills-lab/dist/skills/customer-success-command-desk/stakeholder-mapping-desk Skill

    2★ repo

    Vendor-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★ repo

    Vendor-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★ repo

    Vendor-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.

  • Data inventory mapping desk

    MadewellRD/skills-lab/dist/skills/privacy-data-protection-command-desk/data-inventory-mapping-desk Skill

    2★ repo

    Vendor-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★ repo

    Vendor-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 policy desk

    MadewellRD/skills-lab/dist/skills/procurement-vendor-management-command-desk/procurement-policy-desk Skill

    2★ repo

    Vendor-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★ repo

    Vendor-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 offboarding desk

    MadewellRD/skills-lab/dist/skills/procurement-vendor-management-command-desk/vendor-offboarding-desk Skill

    2★ repo

    Vendor-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★ repo

    Vendor-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.