Repo Danh mục Nhà phát triển Quốc gia

VI

© AI Repo StatsDữ liệu từ GitHub API · cập nhật hằng ngày

oOo0oOo/lean-lsp-mcp · AI Repo Stats

Repo Danh mục Nhà phát triển Quốc gia

OO

oOo0oOo/lean-lsp-mcp

Lean Theorem Prover MCP

MCP server & công cụPython MIT 84tạo 2025-03-29

Sao

550

Tăng 1 ngày

—

Tăng 7 ngày

—

Tăng 30 ngày

—

Lịch sử sao

Bắt đầu theo dõi: 2026-11-13

#lean4#lsp#mcp

Người đóng góp nhiều nhất

Chưa thu thập (chạy job contributors).