thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / lean-dojo/LeanCopilot

$ show lean-dojo/LeanCopilot

[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)

Other (.lean)

25

Python

12

Shell

3

YAML

2

Other (no ext)

2

Markdown

2

C++ Header

2

Docker Ignore

1

Git Ignore

1

Dockerfile

1

C++

1

C

1

Files by Type (size)

C++ Header

917KB

Other (.lean)

61KB

Python

29KB

Markdown

15KB

C++

12KB

YAML

3KB

C

1KB

Other (no ext)

1KB

Shell

1008B

JSON

840B

Dockerfile

496B

Docker Ignore

63B

── HISTORY ──

Last analyzed: never

Next check: not scheduled