dependabot
claudecodexReview Dependabot configuration and triage open Dependabot pull requests, applying configuration fixes or PR actions as approved.
2 skills
2
claudecodex
write-formalization-roadmap
Document-structure guide for multi-milestone formalization roadmaps in Lean, Rocq, Isabelle, HOL, and other proof assistants.
/
Plugin write-formalization-roadmap from marketplace agent-harness-plugins in cboone/agent-harness-plugins. Commands read from the repo's manifest — 5 days ago.
What it installs
Skills (1)
write-formalization-roadmapStructure multi-milestone formalization roadmaps for any proof assistant when writing, reviewing, or updating one, or when choosing between a roadmap and a single plan. For math prose, use write-math.
More from cboone/agent-harness-plugins
All 61 plugins →monitor-pr
claudecodexMonitor 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
2
sync-with-main
claudecodexMerge or rebase the base branch into the current branch, resolve conflicts, and push using the selected workflow.
2 skills
2
use-git
claudecodexApply git and GitHub CLI conventions for tmpfile bodies, signed commits and safe pushes, and create GitHub issues.
2 skills
2
workmux
claudecodexCreate worktrees, branches and tmux windows with workmux, or launch issue planning in a new session.
2 skills
2
wtaf
claudecodexSummarize where the conversation, branch, and tasks stand and what comes next, with a thorough mode that also reads the history.
2 skills
2
Similar plugins
humanizer
claudeRewrite AI-sounding text so it reads like the writer without changing what it says.
1 skill
blader/humanizer 68,461
academic-research-skills
claude5 skills + 35 modes + Material Passport pipeline. Includes v3.6.7 cross-model audit gate and v3.6.8 generator-evaluator contract.
5 skills · 16 commands · 4 agents · hooks
Imbad0202/academic-research-skills 56,698
conductor
claudecodexContext-Driven Development plugin that transforms Claude Code into a project management tool with structured workflow: Context → Spec & Plan → Implement
3 skills · 6 commands · 1 agent
wshobson/agents 42,461
promptfoo
claudecodexConnect providers and targets, write eval suites, and set up or run red team scans with promptfoo
4 skills
promptfoo/promptfoo 27,115
ralph-skills
claudePRD generation and conversion skills for the Ralph autonomous agent loop
2 skills
snarktank/ralph 22,224
prowler
claudeConnect Claude to Prowler Cloud through the Prowler MCP server. Reads providers, scans, findings, compliance results and resources for AWS, Azure, GCP, Kubernetes, Microsoft 365, GitHub and the other providers listed at https://registry.prowler.com, and returns remediation guidance for failed checks. Writes are limited to Prowler Cloud itself: triggering scans, finding triage, mute rules and the mutelist, providers and integrations. Your cloud resources are not changed by the connector.
1 skill · 1 MCP server
prowler-cloud/prowler 15,234
Maintain write-formalization-roadmap?
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.
claude & codex plugins61 plugins