Mathlib Tools
mathlib-tools is a Claude Code marketplace for development tools. 1 plugins It helps solo builders move faster with AI-assisted development.
/plugin marketplace add mattrobball/mathlib-claude-plugin| Repository | mattrobball/mathlib-claude-plugin ↗ |
|---|
Plugins in this marketplace
1 plugin - install individually after you add the marketplace.
Recommended Marketplaces
Development Toolsintegrations