Skip to main content
Skills
Agents
MCP
Hooks
Plugins
Awesome
Templates
Tools
Search
⌘K
News
My Stack
Learn
Submit
EN
ES
Home
/
oOo0oOo
GitHub owner
oOo0oOo
1 repositories in the Claude AI ecosystem, indexed and ranked by ClaudeWave.
View on GitHub
1 repositories
460 stars
Last activity 10d ago
Categories
MCP
1
oOo0oOo
lean-lsp-mcp
97
10d ago
Lean Theorem Prover MCP
460
73
Python
MCP Servers
lean4
lsp
Install