dependabot
claudecodexReview Dependabot configuration and triage open Dependabot pull requests, applying configuration fixes or PR actions as approved.
2 skills
Lean 4 and Mathlib conventions for code, proofs, naming, documentation and compile-time tests that mirror the public library API.
Plugin write-lean-code from marketplace agent-harness-plugins in cboone/agent-harness-plugins. Commands read from the repo's manifest — 5 days ago.
write-lean-codeApply Lean 4 and Mathlib conventions whenever Lean is the subject, not only edits: writing, reading to answer questions, reviewing, naming, proofs, and docstrings, and compile-time tests that mirror the public library API.
Review Dependabot configuration and triage open Dependabot pull requests, applying configuration fixes or PR actions as approved.
2 skills
Monitor a pull request until its checks pass, Copilot signs off on the current head, and it is mergeable, fixing failures along the way, then offer the merge and sync the main worktree once it lands; resolve Copilot feedback on demand.
2 skills
Merge or rebase the base branch into the current branch, resolve conflicts, and push using the selected workflow.
2 skills
Apply git and GitHub CLI conventions for tmpfile bodies, signed commits and safe pushes, and create GitHub issues.
2 skills
Create worktrees, branches and tmux windows with workmux, or launch issue planning in a new session.
2 skills
Summarize where the conversation, branch, and tasks stand and what comes next, with a thorough mode that also reads the history.
2 skills
Internal BizOps domain. v2.8.0 ships 7 skills: orchestrator + process-mapper (BPMN/bottleneck/cycle-time, Lean+TOC) + vendor-management (scorecard+SLA+3rd-party risk, NIST SP 800-161/ISO 27036) + capacity-planner (Erlang-C queueing math for ops teams, NOT engineering) + internal-comms (ADKAR+Kotter 8-step, NOT marketing) + knowledge-ops (SOP+runbook+KB hygiene with 5W2H, context: fork) + procurement-optimizer (UNSPSC spend categorization + supplier consolidation). Orchestrator uses context: fork to route inquiries via Matt Pocock grill discipline (one question per turn, recommended answer, canon-cited challenge). Every SKILL.md ships a Forcing-question library section. 18 stdlib Python tools, 24+ reference docs. Distinct from business-growth (external sales) and c-level-advisor (strategic).
7 skills · 8 commands · 1 agent
Product strategy skills for PMs: vision, strategy canvas, value propositions, lean canvas, business model canvas, SWOT, PESTLE, Ansoff Matrix, Porter's Five Forces, and monetization.
12 skills · 5 commands
Structured Lean 4 proof writing and library design following Mathlib conventions
1 skill
Guide teams through Lean UX Canvas v2 to frame problems and surface assumptions.
1 skill
The official MCP for agent-skills. Curated catalog, progressive disclosure flow: Search → load canonical SKILL.md → fetch only validated references. Safe, lean, zero config.
Quality gates for AI-assisted codebases. Provides refit onboarding, the swab/scour/buff/sail remediation loop, and barnacle friction reporting as a Claude skill and slash commands.
1 skill · 6 commands
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.