Skillget

Explore Submit Repo Sign in with GitHub

TR - Turkce
EN - English

Explore

Search by repo, owner or description Type Category Language Sort Verified only

Clear filters

1 results

oOo0oOo/lean-lsp-mcp

Lean Theorem Prover MCP

Owner: oOo0oOo Language: Python Stars: 349 Rating: 0.0

Last sync: Apr 8, 2026 GitHub: Apr 8, 2026

Skillget

Discover, review and install AI skills, agents and MCP servers.

Explore Documentation Contact

© 2026 Skillget. All rights reserved.