claudeindex
mattrobball's avatar
Author

MRB

@mattrobball
1
Marketplaces
1
Plugins
0
Skills
0
Agents
0
Commands

Marketplaces

Marketplace

mathlib-tools

Claude Code plugins for Lean 4 / Mathlib development

Plugins:1
Skills:0
0
0

Plugins

Plugin

mathlib

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