🔌

lean4

🔌Plugin

Beneficial-AI-Foundation/lean4-claude-plugin

Part of

beneficial-ai-foundation-lean4-claude-plugin

development

Installation

Add marketplace in Claude Code:

/plugin marketplace add alok/lean4-claude-plugin

Step 2. Install plugin:

/plugin install lean4@lean4-tools

AddedFeb 8, 2026

Marketplace