thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / symbolicsoft/verifpal

$ show symbolicsoft/verifpal

[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 (.vp)

1018

Rust

107

LaTeX

17

HTML

16

Markdown

5

TOML

4

YAML

2

Text

2

Git Ignore

1

Lock File

1

Ruby

1

Other (no ext)

1

Files by Type (size)

Rust

1MB

Other (.vp)

1MB

Markdown

92KB

LaTeX

46KB

HTML

39KB

Other (no ext)

34KB

Lock File

24KB

CSS

15KB

Shell

9KB

YAML

8KB

JavaScript

3KB

Text

3KB

── HISTORY ──

Last analyzed: never

Next check: not scheduled