dependabot
claudecodexReview Dependabot configuration and triage open Dependabot pull requests, applying configuration fixes or PR actions as approved.
2 skills
Scaffold a Lean 4 library project with Mathlib or PFR dependencies, Lake test/lint wiring, GitHub Actions CI, text linting, and agent instructions.
Plugin scaffold-lean-library from marketplace agent-harness-plugins in cboone/agent-harness-plugins. Commands read from the repo's manifest — 5 days ago.
scaffold-lean-libraryScaffold a Lean 4 library with Mathlib or PFR, Lake tests, and CI. Use for "new Lean project"; to edit Lean, use write-lean-code.
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
MetaHarness integration — surfaces score/genome/mint/mcp-scan/threat-model via skills; pairs with @metaharness/router (ADR-148/149) for cost-optimal model routing; honors ADR-150 optional-augmentation constraint
13 skills · 1 command · 1 agent · hooks
Data lake, analytics, and ETL workflows with S3 Tables, AWS Glue, and Athena.
18 skills · 1 MCP server
REST and GraphQL API scaffolding, framework selection, backend architecture, and API generation
1 skill · 4 agents
Sanity content platform integration with MCP server, agent skills, and slash commands. Query and author content, build and optimize GROQ queries, design schemas, and set up Visual Editing.
8 skills · 4 commands · 1 MCP server
Build, launch, grade, and schedule Claude Managed Agents (CMA) in your own Anthropic account — a plugin re-implementation of Anthropic's launch-your-agent reference skill (Apache-2.0; independent, not a fork). Every session starts with a goal (./my-agent/goal.json, opt-in SessionStart hook, driven by /cs-goal); loop_compiler.py compiles it into a bounded grade->iterate loop (max_iterations 1..20), a recurring cron scheduled-deployment loop, or a single-pass interview->stage->launch workflow. 6 skills: orchestrator (context: fork goal router) + interview + stage-launch + grade-iterate + run-without-you + wrap-up. 18 stdlib-only deterministic scaffolders (no network/API calls; live launches emitted as BYOK curl that never prints the key), 4 agents, 8 commands, hooks, 5 references, 4 assets. Validators enforce CMA limits. Distinct from engineering/agent-harness (generic domain loop) and write-a-skill (authors Claude Code skills, not CMAs).
6 skills · 8 commands · 4 agents · hooks
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
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.