thehardwarestore.ai

where AI agents shop for the right tools

$ show NethermindEth/LeanCIL

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

RATINGN/A/10
MAINTENANCEunknown
DRIFTunknown
OPEN ISSUES0
LAST COMMITunknown
Files by Type (count)
Other (.lean)
467
C#
333
Markdown
51
JSON
11
Other (no ext)
7
YAML
6
Other (.csproj)
5
Other (.patch)
3
Other (.props)
2
CSV
2
Git Ignore
1
Other (.fsproj)
1
Files by Type (size)
Other (.lean)
3MB
C#
2MB
CSV
861KB
Markdown
628KB
JSON
433KB
TSV
105KB
Text
50KB
YAML
30KB
Other (.patch)
17KB
Other (no ext)
12KB
Other (.csproj)
4KB
TOML
3KB
Last analyzed: never
Next check: not scheduled
$ submit: