claudeindex
Plugin

write-formalization-roadmap

Document-structure guide for multi-milestone formalization roadmaps in Lean, Rocq, Isabelle, HOL, and other proof assistants.

Installation

1

Add the marketplace

/plugin marketplace add cboone/agent-harness-plugins
2

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.

Repository & Links

Plugin Source

View Plugin Code

GitHub Repository

cboone/agent-harness-plugins

Details & Metadata