Plugin

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.

Installation

Add the marketplace

/plugin marketplace add cboone/agent-harness-plugins

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

Plugin Source

View Plugin Code

GitHub Repository

cboone/agent-harness-plugins

From Marketplace

agent-harness-plugins

View Marketplace

Author

@cboone

View GitHub Profile