thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / cameronfreer/lean4-skills

$ show cameronfreer/lean4-skills

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

Markdown

76

Python

75

Other (.lean)

66

Shell

35

Other (no ext)

26

JSON

15

YAML

5

TOML

3

Git Ignore

2

Other (.jsonl)

2

Other (.cff)

1

Files by Type (size)

Markdown

1MB

Python

1MB

Shell

781KB

Other (.lean)

60KB

YAML

34KB

JSON

19KB

Other (no ext)

16KB

TOML

6KB

Other (.jsonl)

3KB

Git Ignore

498B

Other (.cff)

396B

── HISTORY ──

Last analyzed: never

Next check: not scheduled