Marketplace
mathlib-tools
Installation
1
Add the marketplace
/plugin marketplace add mattrobball/mathlib-claude-plugin2
Install plugins
/pluginRun these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.
Plugins
Plugin
mathlib
Review Lean 4 / Mathlib code against community conventions: style, naming, documentation, proof quality, and library design