thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / oOo0oOo/lean-lsp-mcp

$ show oOo0oOo/lean-lsp-mcp

[account ↗] [repo ↗] UNKNOWN ★ 0 0 ● unknown

── AI DEEP ANALYSIS ──

── METRICS ──

RATINGN/A/10

MAINTENANCEunknown

DRIFTunknown

OPEN ISSUES0

LAST COMMITunknown

── TAGS ──

── FILE BREAKDOWN ──

Files by Type (count)

Python

79

Other (.lean)

20

Other (no ext)

3

Markdown

3

YAML

2

Shell

2

Lock File

2

TOML

2

JSON

2

Docker Ignore

1

Git Ignore

1

Dockerfile

1

Files by Type (size)

Python

582KB

Lock File

308KB

Markdown

46KB

JSON

4KB

Other (.lean)

3KB

Other (.nix)

2KB

YAML

1KB

TOML

1KB

Dockerfile

1KB

Other (no ext)

1KB

Shell

963B

Git Ignore

300B

── HISTORY ──

Last analyzed: never

Next check: not scheduled