Claude Bazaar

Skills Plugins MCP Agents Learn

MCP 0 upvotes 333

Lean Lsp Mcp

Lean Theorem Prover MCP

by ooo0ooo View Source

Tags

mcp theorem-prover lean

Claude Bazaar

A hand-picked directory of high-quality extensions for Claude Code.

Browse

Skills
Plugins
MCP Servers

Explore

Skills by Category
Plugins by Category
MCP by Category

Guides

What Are Skills?
What Are Plugins?
What Are MCP Servers?
Top Skills
Top Plugins
Top MCP Servers

Community

Learn
GitHub

© 2026 Claude Bazaar. Built for the Claude Code community.

An independent project