1 listing · 0 installs
Open-source publisher. Listings imported from github.com/oOo0oOo — credited to the original author with their license.
mcp-ooo0ooo-lean-lsp-mcp · by oOo0oOo
Lean Theorem Prover MCP
