oOo0oOo

1 server

lean-lsp-mcpoOo0oOo520Lean Theorem Prover MCP

← All servers

Browse

All skills
Categories
All MCP servers
MCP categories
Install
Agent access
Registry
MCP registry
llms.txt
llms-mcps.txt

Categories

Agents
Business
Marketing
Backend
Tooling
DevOps

More categories

Design
Frontend
Research
Code Review
Security
Docs

© 2026 Agent Skills

Search skills and MCP servers

Fuzzy search across 23,137 skills and servers