Repos Categories Developers Countries

EN

© AI Repo StatsData from the GitHub API · updated daily

oOo0oOo/lean-lsp-mcp · AI Repo Stats

Repos Categories Developers Countries

OO

oOo0oOo/lean-lsp-mcp

Lean Theorem Prover MCP

MCP servers & toolsPython MIT 84created 2025-03-29

Stars

550

1-day growth

—

7-day growth

—

30-day growth

—

Star history

Tracked since 2026-11-13

#lean4#lsp#mcp

Top contributors

Not collected yet (contributors job).