claudeindex
Plugin

mathlib

Review Lean 4 / Mathlib code against community conventions: style, naming, documentation, proof quality, and library design

Installation

1

Add the marketplace

/plugin marketplace add mattrobball/mathlib-claude-plugin
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

mattrobball/mathlib-claude-plugin

Details & Metadata