Plugin

lean4-skills-lite

Lightweight Lean 4 skills — library search, proof assistance

Installation

Add the marketplace

/plugin marketplace add szch79/claude-marketplace

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

szch79/claude-marketplace

From Marketplace

my-claude-marketplace

View Marketplace

Author

@szch79

View GitHub Profile