thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / anthropics/formal-math

$ show anthropics/formal-math

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

760

Markdown

11

JSON

9

Other (no ext)

8

Shell

5

YAML

4

Git Ignore

3

TOML

3

Python

3

Ruby

2

Gemfile

1

Lock File

1

Files by Type (size)

Other (.lean)

9MB

Markdown

435KB

JSON

52KB

Python

44KB

Other (no ext)

36KB

YAML

32KB

Shell

17KB

Ruby

13KB

TOML

2KB

Lock File

1KB

Git Ignore

454B

Gemfile

56B

── HISTORY ──

Last analyzed: never

Next check: not scheduled