Discover all MCP servers created by oOo0oOo
Interact with the Lean theorem prover via the Language Server Protocol.
