claudecodex

scaffold-lean-library

Scaffold a Lean 4 library project with Mathlib or PFR dependencies, Lake test/lint wiring, GitHub Actions CI, text linting, and agent instructions.

2 on GitHubby Christopher Boonev1.0.4MITupdated 5 days agoscaffolding
/

Plugin scaffold-lean-library 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)

  • scaffold-lean-library

    Scaffold a Lean 4 library with Mathlib or PFR, Lake tests, and CI. Use for "new Lean project"; to edit Lean, use write-lean-code.

View source on GitHub

More from cboone/agent-harness-plugins

All 61 plugins →

dependabot

claudecodex

Review Dependabot configuration and triage open Dependabot pull requests, applying configuration fixes or PR actions as approved.

2 skills

2

monitor-pr

claudecodex

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

2

sync-with-main

claudecodex

Merge or rebase the base branch into the current branch, resolve conflicts, and push using the selected workflow.

2 skills

2

use-git

claudecodex

Apply git and GitHub CLI conventions for tmpfile bodies, signed commits and safe pushes, and create GitHub issues.

2 skills

2

workmux

claudecodex

Create worktrees, branches and tmux windows with workmux, or launch issue planning in a new session.

2 skills

2

wtaf

claudecodex

Summarize 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

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

ruvnet/ruflo 81,589

Data lake, analytics, and ETL workflows with S3 Tables, AWS Glue, and Athena.

18 skills · 1 MCP server

anthropics/claude-plugins-official 47,076

api-scaffolding

claudecodex

REST and GraphQL API scaffolding, framework selection, backend architecture, and API generation

1 skill · 4 agents

wshobson/agents 42,461

Sanity

claudecodex

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

anthropics/knowledge-work-plugins 35,601

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

alirezarezvani/claude-skills 29,725

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

phuryn/pm-skills 27,939

Maintain scaffold-lean-library?

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