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
407 stars
Last activity 3d ago
Categories
MCP
1
oOo0oOo
lean-lsp-mcp
97
3d ago
Lean Theorem Prover MCP
407
65
Python
MCP Servers
lean4
lsp
Install
